From ccffc548e1492dbd5d665a0858033172b73b80a4 Mon Sep 17 00:00:00 2001
From: Benno Schulenberg <bensberg@justemail.net>
Date: Tue, 7 Jun 2016 13:04:51 +0200
Subject: [PATCH] text: after undoing or redoing something, unset the mark

This fixes https://savannah.gnu.org/bugs/?48108,
and fixes https://savannah.gnu.org/bugs/?48157.
---
 src/text.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/text.c b/src/text.c
index d45109c5..0cafe25e 100644
--- a/src/text.c
+++ b/src/text.c
@@ -818,6 +818,7 @@ void do_undo(void)
     renumber(f);
     openfile->current_undo = openfile->current_undo->next;
     openfile->last_action = OTHER;
+    openfile->mark_set = FALSE;
     openfile->placewewant = xplustabs();
     openfile->totsize = u->wassize;
     set_modified();
@@ -964,6 +965,7 @@ void do_redo(void)
 
     openfile->current_undo = u;
     openfile->last_action = OTHER;
+    openfile->mark_set = FALSE;
     openfile->placewewant = xplustabs();
     openfile->totsize = u->newsize;
     set_modified();
-- 
GitLab