From f01e161a3f7f307378db547c22c16762d57b12fd Mon Sep 17 00:00:00 2001
From: Kevin Despoulains <kevin.despoulains@scriptandgo.com>
Date: Wed, 19 May 2021 10:30:22 +0200
Subject: [PATCH] adding missing override

---
 lib/widgets/raw_editor.dart | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/lib/widgets/raw_editor.dart b/lib/widgets/raw_editor.dart
index f93eabe2..9d07bea3 100644
--- a/lib/widgets/raw_editor.dart
+++ b/lib/widgets/raw_editor.dart
@@ -1047,7 +1047,7 @@ class RawEditorState extends EditorState
   }
 
   @override
-  void hideToolbar() {
+  void hideToolbar([bool hideHandles = true]) {
     if (getSelectionOverlay()?.toolbar != null) {
       getSelectionOverlay()?.hideToolbar();
     }
@@ -1149,6 +1149,11 @@ class RawEditorState extends EditorState
       closeConnectionIfNeeded();
     }
   }
+
+  @override
+  void userUpdateTextEditingValue(TextEditingValue value, SelectionChangedCause cause) {
+    // TODO: implement userUpdateTextEditingValue
+  }
 }
 
 class _Editor extends MultiChildRenderObjectWidget {