diff options
| author | Rémi Verschelde | 2016-05-23 17:08:06 +0200 |
|---|---|---|
| committer | Rémi Verschelde | 2016-05-23 17:08:06 +0200 |
| commit | b777b32470fc7cba345f3ff2ee419074104f8f9b (patch) | |
| tree | 45849a8443314cda146a472bbab9e04622efb7fe /tools/editor/settings_config_dialog.cpp | |
| parent | beeed210c904d4cb57df8b72417f004a37ce3b6b (diff) | |
| parent | d7073a77e1dfcdb7259737adf40e522264b89d1a (diff) | |
| download | godot-b777b32470fc7cba345f3ff2ee419074104f8f9b.tar.gz godot-b777b32470fc7cba345f3ff2ee419074104f8f9b.tar.zst godot-b777b32470fc7cba345f3ff2ee419074104f8f9b.zip | |
Merge pull request #4296 from Paulb23/code_editor_themes
Added color themes to the text editor
Diffstat (limited to '')
| -rw-r--r-- | tools/editor/settings_config_dialog.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/editor/settings_config_dialog.cpp b/tools/editor/settings_config_dialog.cpp index 7d369d726..79bcaa4da 100644 --- a/tools/editor/settings_config_dialog.cpp +++ b/tools/editor/settings_config_dialog.cpp @@ -45,6 +45,7 @@ void EditorSettingsDialog::_settings_changed() { timer->start(); + property_editor->get_property_editor()->update_tree(); // else color's won't update when theme is selected. } void EditorSettingsDialog::_settings_save() { @@ -70,6 +71,8 @@ void EditorSettingsDialog::popup_edit_settings() { if (!EditorSettings::get_singleton()) return; + EditorSettings::get_singleton()->list_text_editor_themes(); // make sure we have an up to date list of themes + property_editor->edit(EditorSettings::get_singleton()); property_editor->get_property_editor()->update_tree(); |