diff options
| author | Juan Linietsky | 2017-01-05 19:41:36 -0300 |
|---|---|---|
| committer | Juan Linietsky | 2017-01-05 19:41:36 -0300 |
| commit | 99ceddd11ef652a3b8e6bf5d09dcc519d957ce14 (patch) | |
| tree | 4c3daa35be5b08a27829f98cea6cf8598932046e /tools/editor/settings_config_dialog.cpp | |
| parent | 495d059a744b268b0355d0cbfbb9ef30fec865e2 (diff) | |
| download | godot-99ceddd11ef652a3b8e6bf5d09dcc519d957ce14.tar.gz godot-99ceddd11ef652a3b8e6bf5d09dcc519d957ce14.tar.zst godot-99ceddd11ef652a3b8e6bf5d09dcc519d957ce14.zip | |
Editor settings categories are now tidy and beautiful!
Diffstat (limited to '')
| -rw-r--r-- | tools/editor/settings_config_dialog.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/settings_config_dialog.cpp b/tools/editor/settings_config_dialog.cpp index 97dc2647e..112dee291 100644 --- a/tools/editor/settings_config_dialog.cpp +++ b/tools/editor/settings_config_dialog.cpp @@ -55,7 +55,7 @@ void EditorSettingsDialog::_settings_property_edited(const String& p_name) { // Small usability workaround to update the text color settings when the // color theme is changed - if (full_name == "text_editor/color_theme") { + if (full_name == "text_editor/theme/color_theme") { property_editor->get_property_editor()->update_tree(); } } |