summaryrefslogtreecommitdiff
path: root/misc/dist
diff options
context:
space:
mode:
Diffstat (limited to 'misc/dist')
-rw-r--r--misc/dist/html/editor.html4
-rw-r--r--misc/dist/html/manifest.json2
2 files changed, 3 insertions, 3 deletions
diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html
index ac00270d50..c9f3c2cc0d 100644
--- a/misc/dist/html/editor.html
+++ b/misc/dist/html/editor.html
@@ -411,7 +411,7 @@
}
}
//]]></script>
- <script src="godot.tools.js"></script>
+ <script src="godot.editor.js"></script>
<script>//<![CDATA[
var editor = null;
@@ -706,7 +706,7 @@
displayFailureNotice('WebGL not available');
} else {
setStatusMode('indeterminate');
- editor.init('godot.tools').then(function() {
+ editor.init('godot.editor').then(function() {
if (zip) {
editor.copyToFS("/tmp/preload.zip", zip);
}
diff --git a/misc/dist/html/manifest.json b/misc/dist/html/manifest.json
index ccfb793b20..75af81cda1 100644
--- a/misc/dist/html/manifest.json
+++ b/misc/dist/html/manifest.json
@@ -3,7 +3,7 @@
"short_name": "Godot",
"description": "Multi-platform 2D and 3D game engine with a feature-rich editor (Web edition)",
"lang": "en",
- "start_url": "./godot.tools.html",
+ "start_url": "./godot.editor.html",
"display": "standalone",
"theme_color": "#202531",
"icons": [