mirror of
https://github.com/godotengine/godot.git
synced 2025-10-20 00:13:30 +00:00
Fix editor crash on pressing Go to Previous Bookmark
menu button
This commit is contained in:
parent
d039f4af14
commit
6a9e855af9
2 changed files with 2 additions and 2 deletions
|
@ -1242,7 +1242,7 @@ void ScriptTextEditor::_edit_option(int p_op) {
|
|||
tx->set_caret_line(bpoints[bpoints.size() - 1]);
|
||||
tx->center_viewport_to_caret();
|
||||
} else {
|
||||
for (int i = bpoints.size(); i >= 0; i--) {
|
||||
for (int i = bpoints.size() - 1; i >= 0; i--) {
|
||||
int bline = bpoints[i];
|
||||
if (bline < line) {
|
||||
tx->unfold_line(bline);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue