From 350296e4bfb63613939ba5183def42426c1ffc93 Mon Sep 17 00:00:00 2001 From: li3317 <li3317@purdue.edu> Date: Wed, 28 Jul 2021 22:11:57 +0800 Subject: [PATCH] small change --- lib/src/widgets/raw_editor.dart | 9 +++++---- .../raw_editor/raw_editor_state_keyboard_mixin.dart | 1 + 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/lib/src/widgets/raw_editor.dart b/lib/src/widgets/raw_editor.dart index db70d411..e06e00af 100644 --- a/lib/src/widgets/raw_editor.dart +++ b/lib/src/widgets/raw_editor.dart @@ -613,12 +613,13 @@ class RawEditorState extends EditorState if (value.text == textEditingValue.text) { widget.controller.updateSelection(value.selection, ChangeSource.LOCAL); } else { - __setEditingValue(value); + _setEditingValue(value); } } - Future<void> __setEditingValue(TextEditingValue value) async { - if (await __isItCut(value)) { + // set editing value from clipboard for mobile + Future<void> _setEditingValue(TextEditingValue value) async { + if (await _isItCut(value)) { widget.controller.replaceText( textEditingValue.selection.start, textEditingValue.text.length - value.text.length, @@ -646,7 +647,7 @@ class RawEditorState extends EditorState } } - Future<bool> __isItCut(TextEditingValue value) async { + Future<bool> _isItCut(TextEditingValue value) async { final data = await Clipboard.getData(Clipboard.kTextPlain); if (data == null) { return false; diff --git a/lib/src/widgets/raw_editor/raw_editor_state_keyboard_mixin.dart b/lib/src/widgets/raw_editor/raw_editor_state_keyboard_mixin.dart index 0eb7f955..9ba6502d 100644 --- a/lib/src/widgets/raw_editor/raw_editor_state_keyboard_mixin.dart +++ b/lib/src/widgets/raw_editor/raw_editor_state_keyboard_mixin.dart @@ -65,6 +65,7 @@ mixin RawEditorStateKeyboardMixin on EditorState { // Handles shortcut functionality including cut, copy, paste and select all // using control/command + (X, C, V, A). // TODO: Add support for formatting shortcuts: Cmd+B (bold), Cmd+I (italic) + // set editing value from clipboard for web Future<void> handleShortcut(InputShortcut? shortcut) async { final selection = widget.controller.selection; final plainText = getTextEditingValue().text;