diff --git a/lib/widgets/raw_editor.dart b/lib/widgets/raw_editor.dart index 1d9ad0c0..37c22819 100644 --- a/lib/widgets/raw_editor.dart +++ b/lib/widgets/raw_editor.dart @@ -140,6 +140,14 @@ class RawEditorState extends EditorState final LayerLink _toolbarLayerLink = LayerLink(); final LayerLink _startHandleLayerLink = LayerLink(); final LayerLink _endHandleLayerLink = LayerLink(); + @override + void bringIntoView(TextPosition position) { + setState(() { + widget.controller.selection = TextSelection( + baseOffset: widget.controller.selection.baseOffset, + extentOffset: position.offset); + }); + } TextDirection get _textDirection => Directionality.of(context);