|
|
@ -1033,7 +1033,7 @@ class RawEditorState extends EditorState |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
@override |
|
|
|
@override |
|
|
|
void hideToolbar() { |
|
|
|
void hideToolbar([bool hideHandles = true]) { |
|
|
|
if (getSelectionOverlay()?.toolbar != null) { |
|
|
|
if (getSelectionOverlay()?.toolbar != null) { |
|
|
|
getSelectionOverlay()?.hideToolbar(); |
|
|
|
getSelectionOverlay()?.hideToolbar(); |
|
|
|
} |
|
|
|
} |
|
|
@ -1135,6 +1135,12 @@ class RawEditorState extends EditorState |
|
|
|
closeConnectionIfNeeded(); |
|
|
|
closeConnectionIfNeeded(); |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@override |
|
|
|
|
|
|
|
void userUpdateTextEditingValue( |
|
|
|
|
|
|
|
TextEditingValue value, SelectionChangedCause cause) { |
|
|
|
|
|
|
|
updateEditingValue(value); |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
class _Editor extends MultiChildRenderObjectWidget { |
|
|
|
class _Editor extends MultiChildRenderObjectWidget { |
|
|
|