bugfix: can't drag select text

4 years ago · 82f85021ba
parent dffb1313be
commit 82f85021ba
1 changed files with 7 additions and 1 deletions
--- a/lib/widgets/raw_editor.dart
+++ b/lib/widgets/raw_editor.dart
@ -490,7 +490,13 @@ class RawEditorState extends EditorState
  }
  @override
-  void bringIntoView(TextPosition position) {}
+  void bringIntoView(TextPosition position) {
    setState(() {
      widget.controller.selection = TextSelection(
          baseOffset: widget.controller.selection.baseOffset,
          extentOffset: position.offset);
    });
  }
  @override
  void connectionClosed() {