From 2972ea32297adfd9cc08c81dd85339679365f52e Mon Sep 17 00:00:00 2001 From: Fabio Alessandrelli Date: Sun, 7 Feb 2021 13:45:04 +0100 Subject: [HTML5] Easier HTML templates, better deinit/cleanup. --- misc/dist/html/editor.html | 131 ++++++++++++++++++++++++------------------ misc/dist/html/full-size.html | 58 ++++++++----------- 2 files changed, 99 insertions(+), 90 deletions(-) (limited to 'misc') diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html index c2cfd96da5..b4a8c69cc6 100644 --- a/misc/dist/html/editor.html +++ b/misc/dist/html/editor.html @@ -236,7 +236,7 @@ +