n1474335 5c8aac5572 Improved input change update responsiveness		2022-07-11 13:43:19 +01:00
..
html	Output now uses CodeMirror editor	2022-07-02 19:23:03 +01:00
static	Input now uses CodeMirror editor	2022-06-29 18:02:49 +01:00
stylesheets	Improved highlighting colours and selection ranges	2022-07-11 11:43:48 +01:00
utils	Output now uses CodeMirror editor	2022-07-02 19:23:03 +01:00
waiters	Improved input change update responsiveness	2022-07-11 13:43:19 +01:00
workers	Fixed some typos	2019-10-16 15:38:20 +01:00
App.mjs	Improved input change update responsiveness	2022-07-11 13:43:19 +01:00
HTMLCategory.mjs	Operation arguments are now arranged using CSS Grid	2018-06-19 00:55:08 +01:00
HTMLIngredient.mjs	Added a CodeQL workflow to check for bugs through code analysis. Fixed numerous bugs and implemented safeguards as already reported.	2021-02-10 13:13:19 +00:00
HTMLOperation.mjs	Fixed incomplete multi-character sanitization and incomplete URL substring sanitization issues.	2021-02-10 17:41:39 +00:00
index.js	Updated to Node 17	2022-03-25 14:59:54 +00:00
Manager.mjs	Improved input change update responsiveness	2022-07-11 13:43:19 +01:00