Support going to a line/column in the Monaco editor

rust-lang · Feb 10, 2025 · 83d5026 · 83d5026
1 parent 50455fa
commit 83d5026
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/ui/frontend/editor/MonacoEditorCore.tsx b/ui/frontend/editor/MonacoEditorCore.tsx
@@ -189,6 +189,15 @@ const MonacoEditorCore: React.FC<CommonEditorProps> = (props) => {
     }, []),
   );
 
+  useEditorProp(
+    editor,
+    props.position,
+    useCallback((editor, _model, { line, column }) => {
+      editor.setPosition({ lineNumber: line, column });
+      editor.focus();
+    }, []),
+  );
+
   return <div className={styles.monaco} ref={child} />;
 };