|
@@ -5415,6 +5415,9 @@ void TextEdit::undo() {
|
|
|
|
|
|
TextOperation op = undo_stack_pos->get();
|
|
TextOperation op = undo_stack_pos->get();
|
|
_do_text_op(op, true);
|
|
_do_text_op(op, true);
|
|
|
|
+ if (op.from_line != op.to_line || op.to_column != op.from_column + 1)
|
|
|
|
+ select(op.from_line, op.from_column, op.to_line, op.to_column);
|
|
|
|
+
|
|
current_op.version = op.prev_version;
|
|
current_op.version = op.prev_version;
|
|
if (undo_stack_pos->get().chain_backward) {
|
|
if (undo_stack_pos->get().chain_backward) {
|
|
while (true) {
|
|
while (true) {
|