summaryrefslogtreecommitdiffstats
path: root/editor/project_manager.cpp
diff options
context:
space:
mode:
authorFabio Alessandrelli <fabio.alessandrelli@gmail.com>2022-08-28 20:27:45 +0200
committerFabio Alessandrelli <fabio.alessandrelli@gmail.com>2022-08-29 11:52:00 +0200
commitd20b32186fc192f5e527a1211291b0cb293f4e66 (patch)
tree20f5e9e84e10b68c318f576344a10a9fc63d235f /editor/project_manager.cpp
parent223e083d36ac1ca3f7aa46898d8870e476132f7a (diff)
downloadredot-engine-d20b32186fc192f5e527a1211291b0cb293f4e66.tar.gz
[Web] Rename JavaScript platform to Web.
Also rename export name from "HTML5" to "Web".
Diffstat (limited to 'editor/project_manager.cpp')
-rw-r--r--editor/project_manager.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/project_manager.cpp b/editor/project_manager.cpp
index a17a759c17..6623792fc0 100644
--- a/editor/project_manager.cpp
+++ b/editor/project_manager.cpp
@@ -2106,7 +2106,7 @@ void ProjectManager::_confirm_update_settings() {
void ProjectManager::_open_selected_projects() {
// Show loading text to tell the user that the project manager is busy loading.
- // This is especially important for the HTML5 project manager.
+ // This is especially important for the Web project manager.
loading_label->show();
const HashSet<String> &selected_list = _project_list->get_selected_project_keys();