disable gtd bundle (#1493)

marimo-team · May 26, 2024 · 35a4a8c · 35a4a8c
1 parent 3e12d05
commit 35a4a8c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/frontend/src/core/codemirror/cm.ts b/frontend/src/core/codemirror/cm.ts
@@ -58,7 +58,6 @@ import {
   clickablePlaceholderExtension,
   smartPlaceholderExtension,
 } from "./placeholder/extensions";
-import { goToDefinitionBundle } from "./go-to-definition/extension";
 
 export interface CodeMirrorSetupOpts {
   cellId: CellId;
@@ -93,7 +92,8 @@ export const setupCodeMirror = ({
     // Comes last so that it can be overridden
     basicBundle(completionConfig, theme),
     // Underline cmd+clickable placeholder
-    goToDefinitionBundle(),
+    // Temporarily disabled due to Issue #1462
+    // goToDefinitionBundle(),
     showPlaceholder
       ? Prec.highest(smartPlaceholderExtension("import marimo as mo"))
       : enableAI