elias/strudel-docker
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel-docker.git synced 2026-01-12 14:18:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,051 Commits 1 Branch 0 Tags
Commit Graph

9 Commits

Author SHA1 Message Date
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
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