16 Commits

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