commit 87a254400e80fe0b03493cb894de0b673a7ecb69
parent 9192b7fe8c121661db803cd96146e823920acda0
Author: Benno Schulenberg <bensberg@justemail.net>
Date: Tue, 7 Jun 2016 11:10:56 +0200
text: remove a pointless setting of an undo element; it is never used
Diffstat:
1 file changed, 0 insertions(+), 1 deletion(-)
diff --git 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;