fix CM issue in tab help plugin

sebibek · Dec 13, 2023 · 65f1a45 · 65f1a45
1 parent f7e40ab
commit 65f1a45
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/frontend/components/CellInput/tab_help_plugin.js b/frontend/components/CellInput/tab_help_plugin.js
@@ -34,7 +34,7 @@ const LastFocusWasForced = StateField.define({
 export const tab_help_plugin = ViewPlugin.define(
     (view) => ({
         setready: (x) =>
-            view.dispatch({
+            view.state.update({
                 effects: [TabHelpEffect.of(x)],
             }),
     }),
@@ -47,7 +47,7 @@ export const tab_help_plugin = ViewPlugin.define(
             },
             blur: function (event, view) {
                 this.setready(false)
-                view.dispatch({
+                view.state.update({
                     effects: [LastFocusWasForcedEffect.of(false)],
                 })
             },