commit ccffc548e1492dbd5d665a0858033172b73b80a4
parent 83b89a49ef60e20a26a4d96a7606758de9192ed1
Author: Benno Schulenberg <bensberg@justemail.net>
Date: Tue, 7 Jun 2016 13:04:51 +0200
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.
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git 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();