Fix vertical caret position bug (Discussion #690) (#723)

pull/732/head
Alessandro Riperi 3 years ago committed by GitHub
parent 474fd38aa9
commit 7b3cde87c1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      lib/src/widgets/raw_editor.dart

@ -693,6 +693,8 @@ class RawEditorState extends EditorState
});
}
}
_adjacentLineAction.stopCurrentVerticalRunIfSelectionChanges();
}
void _onChangeTextEditingValue([bool ignoreCaret = false]) {

Loading…
Cancel
Save