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])