Fixes #422

web/components/filter.tsx

@@ -107,7 +107,6 @@ export function FilterList({
             }}
             onChange={(text) => {
               setText(text);
-              // updateFilter(text);
             }}
             onKeyUp={(view, e) => {
               // This event is triggered after the key has been processed by CM already

web/components/mini_editor.tsx

@@ -99,10 +99,13 @@ export function MiniEditor(
 
   useEffect(() => {
     if (editorViewRef.current) {
-      editorViewRef.current.setState(buildEditorState());
-      editorViewRef.current.dispatch({
-        selection: { anchor: text.length },
-      });
+      const currentEditorText = editorViewRef.current.state.sliceDoc();
+      if (currentEditorText !== text) {
+        editorViewRef.current.setState(buildEditorState());
+        editorViewRef.current.dispatch({
+          selection: { anchor: text.length },
+        });
+      }
     }
   }, [text, vimMode]);