From 87a254400e80fe0b03493cb894de0b673a7ecb69 Mon Sep 17 00:00:00 2001
From: Benno Schulenberg <bensberg@justemail.net>
Date: Tue, 7 Jun 2016 11:10:56 +0200
Subject: [PATCH] text: remove a pointless setting of an undo element; it is
 never used

---
 src/text.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/text.c b/src/text.c
index 94903fe6..a2968509 100644
--- a/src/text.c
+++ b/src/text.c
@@ -1257,7 +1257,6 @@ void add_undo(undo_type action)
     case PASTE:
 	u->cutbuffer = copy_filestruct(cutbuffer);
 	u->lineno += cutbottom->lineno - cutbuffer->lineno;
-	u->mark_set = TRUE;
 	break;
     case ENTER:
 	break;