Editor: Request redraw/scroll on set_cursor

This commit is contained in:
Jeremy Soller 2023-10-20 13:54:54 -06:00
parent 37789ccdf7
commit 7526fa9726
No known key found for this signature in database
GPG key ID: DCFCA852D3906975

View file

@ -86,7 +86,11 @@ impl Edit for Editor {
}
fn set_cursor(&mut self, cursor: Cursor) {
self.cursor = cursor;
if self.cursor != cursor {
self.cursor = cursor;
self.cursor_moved = true;
self.buffer.set_redraw(true);
}
}
fn select_opt(&self) -> Option<Cursor> {