Felix Roos
|
b87cea834f
|
style fixes + hide-console option
- thicker highlighting outline
- only shade actual characters, not whole lines
- strudel hide-console will now hide console
|
2022-07-10 20:51:38 +02:00 |
|
Felix Roos
|
6a445ee130
|
kind of finished slides
|
2022-07-01 23:55:04 +02:00 |
|
Felix Roos
|
8ea0044ffa
|
Merge commit '85d3d7392ecfdc985fa8cc93e01846bec0f16dc4' into talk
|
2022-07-01 13:05:32 +02:00 |
|
Felix Roos
|
4c66d9a553
|
Merge commit '8a1cd32d50e6689b14a77db0eca0b9033ab55312' into talk
|
2022-06-30 16:50:35 +02:00 |
|
Felix Roos
|
85d3d7392e
|
hide-header magic comment
|
2022-06-30 16:49:24 +02:00 |
|
Felix Roos
|
b9829bb696
|
flash effect on ctrl enter
|
2022-06-24 21:13:17 +02:00 |
|
Felix Roos
|
8051286904
|
react: usable onEvent
|
2022-06-07 21:16:17 +02:00 |
|
Felix Roos
|
a93d6e884d
|
repl: hard stop
|
2022-06-06 19:10:23 +02:00 |
|
Felix Roos
|
352d701b7b
|
minirepl: highlighting can now be disabled
|
2022-06-05 22:44:24 +02:00 |
|
Felix Roos
|
6fde3f2231
|
add evaluateOnly
|
2022-06-04 23:54:33 +02:00 |
|
Felix Roos
|
ff362da23f
|
themable codemirror + repl
|
2022-06-02 22:17:50 +02:00 |
|
Felix Roos
|
e86144255c
|
Merge remote-tracking branch 'origin/HEAD' into webdirt
|
2022-06-02 00:19:10 +02:00 |
|
Felix Roos
|
307afa5c52
|
fix: #108
|
2022-06-01 18:19:57 +02:00 |
|
Felix Roos
|
92dc50e348
|
minor style tweaks
|
2022-05-30 23:34:56 +02:00 |
|
Felix Roos
|
ae81f6d573
|
MiniRepl: hideOutsideView flag
|
2022-05-19 08:39:51 +02:00 |
|
Felix Roos
|
ed35f967b0
|
migrate repl + move imports out of minirepl
|
2022-05-17 22:27:22 +02:00 |
|
Felix Roos
|
b8a0559012
|
react packaging
|
2022-05-17 21:40:17 +02:00 |
|