Deselect on undo/redo in TextEdit

This commit is contained in:
Paul Joannon 2018-01-13 11:38:01 +01:00
parent 7de3a11469
commit 8ae0624c80

View file

@ -4878,6 +4878,8 @@ void TextEdit::undo() {
else
undo_stack_pos = undo_stack_pos->prev();
deselect();
TextOperation op = undo_stack_pos->get();
_do_text_op(op, true);
current_op.version = op.prev_version;
@ -4912,6 +4914,8 @@ void TextEdit::redo() {
if (undo_stack_pos == NULL)
return; //nothing to do.
deselect();
TextOperation op = undo_stack_pos->get();
_do_text_op(op, false);
current_op.version = op.version;