diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-12-11 08:42:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-11 08:42:41 +0100 |
commit | f965ccee7bf83e34fd8d8cf2819f7ff73aef18de (patch) | |
tree | 2085e13bbc9ca3cd16320364c0dd8673554cd17b | |
parent | 30cf60bb89fd89199308c66c5a769d5ea7557452 (diff) | |
parent | 6f178a20616cdad6656c58d6b94aac556a5f77c4 (diff) |
Merge pull request #34261 from timothyqiu/check-34255
Fixes infinite loop when switching editor
-rw-r--r-- | editor/editor_node.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/editor_node.cpp b/editor/editor_node.cpp index 980d82d6df..05f029f3c4 100644 --- a/editor/editor_node.cpp +++ b/editor/editor_node.cpp @@ -630,7 +630,7 @@ void EditorNode::_editor_select_next() { } else { editor++; } - } while (main_editor_buttons[editor]->is_visible()); + } while (!main_editor_buttons[editor]->is_visible()); _editor_select(editor); } @@ -645,7 +645,7 @@ void EditorNode::_editor_select_prev() { } else { editor--; } - } while (main_editor_buttons[editor]->is_visible()); + } while (!main_editor_buttons[editor]->is_visible()); _editor_select(editor); } |