From 239b2b9aaf87f6d4106700c63653eabece6a1642 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Fri, 29 Apr 2022 19:51:57 +1000 Subject: [PATCH] editor: Deactivate selections while undoing --- diff_edit/editor.py | 1 + 1 file changed, 1 insertion(+) diff --git a/diff_edit/editor.py b/diff_edit/editor.py index 3432032..fc24b80 100755 --- a/diff_edit/editor.py +++ b/diff_edit/editor.py @@ -745,6 +745,7 @@ class Editor: self.history_position -= 1 self.history_position -= 1 self.text_widget[:], self._cursor_x, self._cursor_y = self.history[self.history_position] + self.mark = None def toggle_overwrite(self): self.is_overwriting = not self.is_overwriting