ref: 4293659ea46129bdb2cec5ff3bf87bd567fcdd25
parent: 334c871b4675fd1ef98ecfc0acfcea540961a33a
author: cancel <cancel@cancel.fm>
date: Tue Dec 11 20:56:44 EST 2018
Fix recentering scroll on undo
--- a/tui_main.c
+++ b/tui_main.c
@@ -1340,6 +1340,7 @@
undo_history_pop(&a->undo_hist, &a->field, &a->tick_num);
}
tui_cursor_confine(&a->tui_cursor, a->field.height, a->field.width);
+ app_make_cursor_visible(a);
a->needs_remarking = true;
a->is_draw_dirty = true;
}