Editor: set selection to none when deleted

This commit is contained in:
Jeremy Soller 2023-11-30 14:42:39 -07:00
parent 9278e7d0c4
commit 1cf36f8a5d
No known key found for this signature in database
GPG key ID: DCFCA852D3906975

View file

@ -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);