gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-15 23:46:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #62252 from Maran23/project-window-title-rename-fix

Browse source 
Update project window title when a project setting was changed
This commit is contained in:
Rémi Verschelde 2022-06-20 23:19:14 +02:00 committed by GitHub
parent c5ea07ce86 9f2d1b5cf0
commit 0aa85f4ff8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
editor/editor_node.cpp
View file

@ -553,6 +553,8 @@ void EditorNode::_update_from_settings() {
tree->set_debug_collision_contact_color(GLOBAL_GET("debug/shapes/collision/contact_color"));
tree->set_debug_navigation_color(GLOBAL_GET("debug/shapes/navigation/geometry_color"));
tree->set_debug_navigation_disabled_color(GLOBAL_GET("debug/shapes/navigation/disabled_geometry_color"));
_update_title();
}
void EditorNode::_select_default_main_screen_plugin() {
@ -582,10 +584,7 @@ void EditorNode::_notification(int p_what) {
opening_prev = false;
}
if (unsaved_cache != (saved_version != editor_data.get_undo_redo().get_version())) {
unsaved_cache = (saved_version != editor_data.get_undo_redo().get_version());
_update_title();
}
unsaved_cache = saved_version != editor_data.get_undo_redo().get_version();
if (last_checked_version != editor_data.get_undo_redo().get_version()) {
_update_scene_tabs();