diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-09 21:13:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-09 21:13:24 +0100 |
commit | 97cb90aa3a35112772d8f4427f4c383605ea467c (patch) | |
tree | 3c701aad126e83ef05b76567f248999fe54025a7 | |
parent | 33c907f9f5b3ec1a43d0251d7cac80da49b5b658 (diff) | |
parent | ce66f8a7a0e0efd6ad2aa84e807edc67c9fedd5c (diff) |
Merge pull request #58907 from novaplusplus/gutter_spam_fix
-rw-r--r-- | editor/plugins/script_text_editor.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/plugins/script_text_editor.cpp b/editor/plugins/script_text_editor.cpp index 3138801cdb..10b6129864 100644 --- a/editor/plugins/script_text_editor.cpp +++ b/editor/plugins/script_text_editor.cpp @@ -1335,6 +1335,9 @@ void ScriptTextEditor::_change_syntax_highlighter(int p_idx) { void ScriptTextEditor::_notification(int p_what) { switch (p_what) { case NOTIFICATION_THEME_CHANGED: + if (!editor_enabled) { + break; + } if (is_visible_in_tree()) { _update_warnings(); _update_errors(); |