You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-12-02 16:48:55 +00:00
Update dock tabs on setting change
This commit is contained in:
@@ -1052,6 +1052,7 @@ void EditorNode::_notification(int p_what) {
|
|||||||
if (EditorSettings::get_singleton()->check_changed_settings_in_group("interface/editor")) {
|
if (EditorSettings::get_singleton()->check_changed_settings_in_group("interface/editor")) {
|
||||||
theme->set_constant("dragging_unfold_wait_msec", "Tree", (float)EDITOR_GET("interface/editor/dragging_hover_wait_seconds") * 1000);
|
theme->set_constant("dragging_unfold_wait_msec", "Tree", (float)EDITOR_GET("interface/editor/dragging_hover_wait_seconds") * 1000);
|
||||||
theme->set_constant("hover_switch_wait_msec", "TabBar", (float)EDITOR_GET("interface/editor/dragging_hover_wait_seconds") * 1000);
|
theme->set_constant("hover_switch_wait_msec", "TabBar", (float)EDITOR_GET("interface/editor/dragging_hover_wait_seconds") * 1000);
|
||||||
|
editor_dock_manager->update_tab_styles();
|
||||||
}
|
}
|
||||||
|
|
||||||
if (EditorSettings::get_singleton()->check_changed_settings_in_group("interface/scene_tabs")) {
|
if (EditorSettings::get_singleton()->check_changed_settings_in_group("interface/scene_tabs")) {
|
||||||
|
|||||||
Reference in New Issue
Block a user