You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-07 12:30:27 +00:00
Keep custom editor theme when changing editor settings
(cherry picked from commit 56aedcee17)
This commit is contained in:
committed by
Rémi Verschelde
parent
ede0d47ccd
commit
fc67ff3d0a
@@ -537,7 +537,7 @@ void EditorNode::_notification(int p_what) {
|
|||||||
|
|
||||||
case EditorSettings::NOTIFICATION_EDITOR_SETTINGS_CHANGED: {
|
case EditorSettings::NOTIFICATION_EDITOR_SETTINGS_CHANGED: {
|
||||||
scene_tabs->set_tab_close_display_policy((bool(EDITOR_GET("interface/scene_tabs/always_show_close_button")) ? Tabs::CLOSE_BUTTON_SHOW_ALWAYS : Tabs::CLOSE_BUTTON_SHOW_ACTIVE_ONLY));
|
scene_tabs->set_tab_close_display_policy((bool(EDITOR_GET("interface/scene_tabs/always_show_close_button")) ? Tabs::CLOSE_BUTTON_SHOW_ALWAYS : Tabs::CLOSE_BUTTON_SHOW_ACTIVE_ONLY));
|
||||||
theme = create_editor_theme(theme_base->get_theme());
|
theme = create_custom_theme(theme_base->get_theme());
|
||||||
|
|
||||||
theme_base->set_theme(theme);
|
theme_base->set_theme(theme);
|
||||||
gui_base->set_theme(theme);
|
gui_base->set_theme(theme);
|
||||||
|
|||||||
Reference in New Issue
Block a user