diff options
author | Juan Linietsky <juan@godotengine.org> | 2019-03-06 12:42:01 -0300 |
---|---|---|
committer | Juan Linietsky <juan@godotengine.org> | 2019-03-06 12:42:01 -0300 |
commit | 6eac6889520aa901fbff75a744e69c3fada11fdb (patch) | |
tree | a1a5024c42eadf1a7093b30cfbc458a5468e107e /editor/plugins | |
parent | 5f079e2ef90dfc76887814e10b6ed16aa8fe88d9 (diff) |
Don't hide/show top editor if they did not change, fixes #26644
Diffstat (limited to 'editor/plugins')
-rw-r--r-- | editor/plugins/shader_editor_plugin.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/plugins/shader_editor_plugin.cpp b/editor/plugins/shader_editor_plugin.cpp index 033a6c56d9..2b6ceac8e2 100644 --- a/editor/plugins/shader_editor_plugin.cpp +++ b/editor/plugins/shader_editor_plugin.cpp @@ -355,8 +355,8 @@ void ShaderEditor::_menu_option(int p_option) { void ShaderEditor::_notification(int p_what) { if (p_what == NOTIFICATION_VISIBILITY_CHANGED) { - if (is_visible_in_tree()) - shader_editor->get_text_edit()->grab_focus(); + //if (is_visible_in_tree()) + // shader_editor->get_text_edit()->grab_focus(); } } |