Editor: set selection to none when deleted

pop-os · Nov 30, 2023 · 1cf36f8 · 1cf36f8
1 parent 9278e7d
commit 1cf36f8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/edit/editor.rs b/src/edit/editor.rs
@@ -328,6 +328,9 @@ impl Edit for Editor {
         // Reset cursor to start of selection
         self.cursor = start;
 
+        // Reset selection to None
+        self.selection = Selection::None;
+
         // Delete from start to end of selection
         self.delete_range(start, end);