From ae8f1a396b93078203848a2f7621df619d736d62 Mon Sep 17 00:00:00 2001
From: li3317 <li3317@purdue.edu>
Date: Wed, 24 Feb 2021 22:38:57 -0500
Subject: [PATCH] small fix

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

diff --git a/lib/widgets/raw_editor.dart b/lib/widgets/raw_editor.dart
index 98a70955..1b84e9b2 100644
--- a/lib/widgets/raw_editor.dart
+++ b/lib/widgets/raw_editor.dart
@@ -574,7 +574,9 @@ class RawEditorState extends EditorState
 
     _selectionOverlay?.handlesVisible = _shouldShowSelectionHandles();
 
-    requestKeyboard();
+    if (!_keyboardVisible) {
+      requestKeyboard();
+    }
   }
 
   _buildChildren(Document doc, BuildContext context) {