1
0
mirror of https://github.com/godotengine/godot.git synced 2026-01-06 19:41:11 +00:00

Merge pull request #34261 from timothyqiu/check-34255

Fixes infinite loop when switching editor
This commit is contained in:
Rémi Verschelde
2019-12-11 08:42:41 +01:00
committed by GitHub

View File

@@ -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);
}