diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-02-27 10:17:47 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-02-27 10:17:47 +0100 |
| commit | e770a38d0051c2685dec2e30c5e0d01c6046e393 (patch) | |
| tree | 6417551f9e47a08141314d868c9ebe7e09a1c03c /editor/plugins/script_editor_plugin.cpp | |
| parent | 8f98ed65f7d4c1da6256213769fc74ee8c836766 (diff) | |
| parent | ea401f9853b3d84a77dfaedb9a5f7c286ec21d05 (diff) | |
| download | redot-engine-e770a38d0051c2685dec2e30c5e0d01c6046e393.tar.gz | |
Merge pull request #88742 from MajorMcDoom/text-editor-zoom
Fix the text editor theme not being applied on editor start
Diffstat (limited to 'editor/plugins/script_editor_plugin.cpp')
| -rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 0ee6d76c3f..5ff8cd17ea 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -60,6 +60,7 @@ #include "editor/plugins/shader_editor_plugin.h" #include "editor/plugins/text_shader_editor.h" #include "editor/themes/editor_scale.h" +#include "editor/themes/editor_theme_manager.h" #include "editor/window_wrapper.h" #include "scene/main/node.h" #include "scene/main/window.h" @@ -2784,7 +2785,8 @@ void ScriptEditor::_save_layout() { } void ScriptEditor::_editor_settings_changed() { - if (!EditorSettings::get_singleton()->check_changed_settings_in_group("interface/editor") && + if (!EditorThemeManager::is_generated_theme_outdated() && + !EditorSettings::get_singleton()->check_changed_settings_in_group("interface/editor") && !EditorSettings::get_singleton()->check_changed_settings_in_group("text_editor") && !EditorSettings::get_singleton()->check_changed_settings_in_group("docks/filesystem")) { return; |