Center Script Editor when jumping to bookmarks/breakpoints

This commit is contained in:
Tomasz Chabora 2019-12-01 18:35:07 +01:00
parent ad95424dba
commit f4d0e598a7
2 changed files with 6 additions and 0 deletions

View file

@ -1565,6 +1565,7 @@ void CodeTextEditor::goto_next_bookmark() {
if (bline > line) {
text_editor->unfold_line(bline);
text_editor->cursor_set_line(bline);
text_editor->center_viewport_to_cursor();
return;
}
}
@ -1589,6 +1590,7 @@ void CodeTextEditor::goto_prev_bookmark() {
if (bline < line) {
text_editor->unfold_line(bline);
text_editor->cursor_set_line(bline);
text_editor->center_viewport_to_cursor();
return;
}
}