8 Commits

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