|
|
|
@ -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 { |
|
|
|
|