" ",
" _this.main_window.windowstate.updateErrorMarksAll();",
" ",
- " // what does this do?",
+ " // what restore the cursor position?",
+ " // after reloading the contents.",
" GLib.Timeout.add(500, () => {",
"\t\t_this.buffer.in_cursor_change = true;",
" print(\"RESORTING cursor to = %d\\n\", cpos);",
_this.main_window.windowstate.updateErrorMarksAll();
- // what does this do?
+ // what restore the cursor position?
+ // after reloading the contents.
GLib.Timeout.add(500, () => {
_this.buffer.in_cursor_change = true;
print("RESORTING cursor to = %d\n", cpos);