10 commits

Author	SHA1	Message	Date
n1474335	57c8c6dbc6	Added operation counts to categories and ops list with option to hide by default for categories.	2024-05-13 17:48:09 +01:00
n1474335	fa21768931	Reviewed Highlighter and Options waiters	2023-01-19 17:14:24 +00:00
n1474335	91f1be8c70	Reviewed Input and Output Waiters and improved logging in workers	2023-01-18 18:07:06 +00:00
n1474335	7c8a185a3d	HTML outputs can now be selected and handle control characters correctly	2022-07-18 18:39:41 +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
n1474335	383aab5f85	Improved theme selection. Added changeTheme method.	2019-10-27 15:17:06 +00:00
n1474335	9d73127cae	Fixed some typos	2019-10-16 15:38:20 +01:00
j433866	f43a868607	Add carriage return detection for pasted and switched inputs. ... Fix switching the output to input not working properly. Add nicer confirmation boxes for zipping outputs.	2019-08-22 11:53:41 +01:00
j433866	b77239fc15	Move waiters and workers into separate folders.	2019-06-06 09:09:48 +01:00

Renamed from src/web/OptionsWaiter.mjs (Browse further)