From 294e9752bd76f84acb677b98745d2fd84dcf5230 Mon Sep 17 00:00:00 2001 From: Fabio Alessandrelli Date: Mon, 14 Sep 2020 13:18:49 +0200 Subject: [PATCH] Add JavaScript editor html file. --- misc/dist/html/editor.html | 475 +++++++++++++++++++++++++++++++++++++ platform/javascript/SCsub | 2 +- 2 files changed, 476 insertions(+), 1 deletion(-) create mode 100644 misc/dist/html/editor.html diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html new file mode 100644 index 00000000000..5b6ad2df65a --- /dev/null +++ b/misc/dist/html/editor.html @@ -0,0 +1,475 @@ + + + + + + + + + + +
+ + + + + +
+
+
+
+
+ +
+ +
+ +
+
+ +
+
+ + + +
+ + + + + diff --git a/platform/javascript/SCsub b/platform/javascript/SCsub index 4215f32accb..bc3db0ea994 100644 --- a/platform/javascript/SCsub +++ b/platform/javascript/SCsub @@ -54,7 +54,7 @@ out_files = [ zip_dir.File(binary_name + ".wasm"), zip_dir.File(binary_name + ".html"), ] -html_file = "#misc/dist/html/full-size.html" +html_file = "#misc/dist/html/editor.html" if env["tools"] else "#misc/dist/html/full-size.html" in_files = [js_wrapped, build[1], html_file] if env["threads_enabled"]: in_files.append(build[2])