From 82f85021ba4a53ec6e57f67f93bbd923ded00361 Mon Sep 17 00:00:00 2001
From: zhaoce <zhaoce@outlook.com>
Date: Fri, 21 May 2021 22:54:56 +0800
Subject: [PATCH] bugfix: can't drag select text

bugfix: can't drag select text
---
 lib/widgets/raw_editor.dart | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/lib/widgets/raw_editor.dart b/lib/widgets/raw_editor.dart
index 0497a04d..022a140d 100644
--- 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() {