From 1cf36f8a5da243ddc1a76504655243ba6c89888b Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Thu, 30 Nov 2023 14:42:39 -0700
Subject: [PATCH] Editor: set selection to none when deleted

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

diff --git a/src/edit/editor.rs b/src/edit/editor.rs
index 93f6c28..cd01fa8 100644
--- 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);