1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-09 12:50:35 +00:00

Add JavaScript editor html file.

This commit is contained in:
Fabio Alessandrelli
2020-09-14 13:18:49 +02:00
parent 1bfc582633
commit 294e9752bd
2 changed files with 476 additions and 1 deletions

View File

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