diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-09-30 12:28:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-30 12:28:50 +0200 |
| commit | f47979f0874b2ca6134e71575fbb359c6cc5ced0 (patch) | |
| tree | c5c2159d3317f1da839e390281d6f32eb82e1158 /misc | |
| parent | 67961d875d518b565bc1fa923772af56fb227063 (diff) | |
| parent | 39facb35a021f9301f742732fbbd3c6a5a548893 (diff) | |
Merge pull request #66242 from akien-mga/scons-unify-tools-target
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/dist/html/editor.html | 4 | ||||
| -rw-r--r-- | misc/dist/html/manifest.json | 2 |
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": [ |