From 7526fa972640c66909576125c310afad67023940 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Fri, 20 Oct 2023 13:54:54 -0600
Subject: [PATCH] Editor: Request redraw/scroll on set_cursor

---
 src/edit/editor.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/edit/editor.rs b/src/edit/editor.rs
index 1e8d325..44d0ed0 100644
--- a/src/edit/editor.rs
+++ b/src/edit/editor.rs
@@ -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> {