diff options
| author | Paulb23 | 2016-04-12 15:45:31 +0100 |
|---|---|---|
| committer | Paulb23 | 2016-05-23 15:15:55 +0100 |
| commit | d7073a77e1dfcdb7259737adf40e522264b89d1a (patch) | |
| tree | 126a0cab2ad78f574f339f089d5cc0ab00e13d48 /tools/editor/settings_config_dialog.cpp | |
| parent | 8a6933afb1c8a5e70fbc580a5d06b1f798f760a9 (diff) | |
| download | godot-d7073a77e1dfcdb7259737adf40e522264b89d1a.tar.gz godot-d7073a77e1dfcdb7259737adf40e522264b89d1a.tar.zst godot-d7073a77e1dfcdb7259737adf40e522264b89d1a.zip | |
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(); |