|
|
@ -757,6 +757,9 @@ class RawEditorState extends EditorState |
|
|
|
controller.document.queryChild(controller.selection.baseOffset); |
|
|
|
controller.document.queryChild(controller.selection.baseOffset); |
|
|
|
|
|
|
|
|
|
|
|
KeyEventResult insertTabCharacter() { |
|
|
|
KeyEventResult insertTabCharacter() { |
|
|
|
|
|
|
|
if (widget.readOnly) { |
|
|
|
|
|
|
|
return KeyEventResult.ignored; |
|
|
|
|
|
|
|
} |
|
|
|
controller.replaceText(controller.selection.baseOffset, 0, '\t', null); |
|
|
|
controller.replaceText(controller.selection.baseOffset, 0, '\t', null); |
|
|
|
_moveCursor(1); |
|
|
|
_moveCursor(1); |
|
|
|
return KeyEventResult.handled; |
|
|
|
return KeyEventResult.handled; |
|
|
|