Felix Roos
|
45c7b29a96
|
big style update + new log system
|
2022-11-11 22:46:20 +01:00 |
|
Felix Roos
|
372bdf8be7
|
fix: highlighting sync
|
2022-11-10 17:15:10 +01:00 |
|
Felix Roos
|
c7c90b0647
|
fix mini repl + improve repl api
|
2022-11-10 16:36:51 +01:00 |
|
Felix Roos
|
14c2da4fa2
|
started refac repl to new scheduler + transpiler
|
2022-11-10 12:07:36 +01:00 |
|
Felix Roos
|
7e7e299bce
|
Merge remote-tracking branch 'origin/main' into general-purpose-scheduler
|
2022-10-29 17:56:30 +02:00 |
|
Felix Roos
|
60616a5228
|
remove old defaultSynth
|
2022-10-27 21:19:17 +02:00 |
|
Felix Roos
|
ec4cfe6f86
|
use new getTime callback in repl + mini repl
|
2022-08-23 21:23:28 +02:00 |
|
Felix Roos
|
4e09cc14b6
|
fix #178
|
2022-08-14 11:27:13 +02:00 |
|
Felix Roos
|
f34d0a29e8
|
memo all things codemirror
|
2022-08-13 18:39:38 +02:00 |
|
Felix Roos
|
55b2d7f68f
|
add onSelectionChange callback
|
2022-08-05 23:50:42 +02:00 |
|
Felix Roos
|
67c21c18cf
|
set background to 222 + remove log
|
2022-08-05 23:23:51 +02:00 |
|
Felix Roos
|
93251582ab
|
replace react-codemirror
|
2022-08-05 23:05:33 +02:00 |
|
Felix Roos
|
800f2f466b
|
darken repl background
+ dont highlight active line
|
2022-08-02 23:39:07 +02:00 |
|
Felix Roos
|
884811fd99
|
darken mini repl bg
|
2022-07-29 00:19:06 +02:00 |
|
Felix Roos
|
913416a9d5
|
style fixes + hide-console option
- thicker highlighting outline
- only shade actual characters, not whole lines
- strudel hide-console will now hide console
|
2022-07-29 00:00:41 +02:00 |
|
Felix Roos
|
ce4d2c17a7
|
minirepl optimizations:
- can now evaluate on init
- support disable-highlighting
- support keyboard shortcuts
- support flash
|
2022-07-28 23:55:05 +02:00 |
|
Felix Roos
|
b9829bb696
|
flash effect on ctrl enter
|
2022-06-24 21:13:17 +02:00 |
|
Felix Roos
|
7eeae4292c
|
add missing styles + fix demo
|
2022-05-20 00:08:50 +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
|
0bcc01ed0e
|
add missing deps
|
2022-05-17 21:55:37 +02:00 |
|
Felix Roos
|
b8a0559012
|
react packaging
|
2022-05-17 21:40:17 +02:00 |
|
Felix Roos
|
b59f36f40b
|
basic react package build config
|
2022-05-17 00:32:57 +02:00 |
|
Felix Roos
|
0d63ec9146
|
basic react package
|
2022-05-14 20:27:05 +02:00 |
|