diff options
| author | Rémi Verschelde | 2017-09-26 08:03:00 +0200 |
|---|---|---|
| committer | GitHub | 2017-09-26 08:03:00 +0200 |
| commit | 777f26fe29718a6609bea84f693ae96d8f22a01c (patch) | |
| tree | 19c12dfbbfc2c1dd7dfc5649b26988ea8b5bcdd0 /editor/editor_plugin_settings.cpp | |
| parent | 1da6b4d1d1a2154fba85f5a37f958d333347ab10 (diff) | |
| parent | b622c92fad36ef7c8cfb84f7e0de188557808ee0 (diff) | |
| download | godot-777f26fe29718a6609bea84f693ae96d8f22a01c.tar.gz godot-777f26fe29718a6609bea84f693ae96d8f22a01c.tar.zst godot-777f26fe29718a6609bea84f693ae96d8f22a01c.zip | |
Merge pull request #11597 from djrm/pr_interface_colors
Removed most of the custom colors from the interface.
Diffstat (limited to '')
| -rw-r--r-- | editor/editor_plugin_settings.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/editor/editor_plugin_settings.cpp b/editor/editor_plugin_settings.cpp index 6732d7048..8baa56b9b 100644 --- a/editor/editor_plugin_settings.cpp +++ b/editor/editor_plugin_settings.cpp @@ -127,10 +127,10 @@ void EditorPluginSettings::update_plugins() { item->set_editable(3, true); if (EditorNode::get_singleton()->is_addon_plugin_enabled(d)) { - item->set_custom_color(3, Color(0.2, 1, 0.2)); + item->set_custom_color(3, get_color("success_color", "Editor")); item->set_range(3, 1); } else { - item->set_custom_color(3, Color(1, 0.2, 0.2)); + item->set_custom_color(3, get_color("disabled_font_color", "Editor")); item->set_range(3, 0); } } @@ -160,9 +160,9 @@ void EditorPluginSettings::_plugin_activity_changed() { } if (is_active) - ti->set_custom_color(3, Color(0.2, 1, 0.2)); + ti->set_custom_color(3, get_color("success_color", "Editor")); else - ti->set_custom_color(3, Color(1, 0.2, 0.2)); + ti->set_custom_color(3, get_color("disabled_font_color", "Editor")); } void EditorPluginSettings::_bind_methods() { |