From f0f3792f766e187b770c714322e972db75336317 Mon Sep 17 00:00:00 2001
From: Alexandros Frantzis <alf82@freemail.gr>
Date: Thu, 15 Apr 2021 18:41:21 +0300
Subject: [PATCH] gui: Clear selection on revert
The selection may become invalid when reloading the file from disk,
since the file size may have changed.
Fixes #43
---
src/gui/DataView.cs | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/gui/DataView.cs b/src/gui/DataView.cs
index 4455ed1..990ce22 100644
--- a/src/gui/DataView.cs
+++ b/src/gui/DataView.cs
@@ -515,6 +515,7 @@ public void Revert()
cursorRedoDeque.Clear();
cursorUndoDeque.Clear();
+ SetSelection(-1, -1);
MoveCursor(0, 0);
}