12 Commits

Author	SHA1	Message	Date
n1474335	fa21768931	Reviewed Highlighter and Options waiters	2023-01-19 17:14:24 +00:00
n1474335	bdb8c02d5a	Input and Output encodings are now saved per tab	2022-10-21 18:29:52 +01:00
n1474335	5efd125d9b	Simplified TabWaiter structure	2022-10-21 13:57:46 +01:00
n1474335	a141873db8	Highlighting now takes account of character set width	2022-09-16 16:00:39 +01:00
n1474335	157dacb3a5	Improved highlighting colours and selection ranges	2022-07-11 11:43:48 +01:00
n1474335	890f645eeb	Overhauled Highlighting to work with new editor and support multiple selections	2022-07-10 22:01:22 +01:00
n1474335	68733c74cc	Output now uses CodeMirror editor	2022-07-02 19:23:03 +01:00
n1474335	85ffe48743	Input now uses CodeMirror editor	2022-06-29 18:02:49 +01:00
n1073645	8502fd246d	Linting changes	2019-11-14 14:52:40 +00:00
n1073645	33464b3388	Linting changes	2019-11-14 08:55:27 +00:00
j433866	c2087f6d5f	Move tab logic into a new TabWaiter	2019-06-06 16:33:35 +01:00
j433866	b77239fc15	Move waiters and workers into separate folders.	2019-06-06 09:09:48 +01:00