Function writeToEditorSafe

app/src/lib/useEditorStore.ts:34–44

(text: string)

/** Write text to the editor model via pushEditOperations (preserves undo stack).
 *  No-ops silently if the editor is not mounted. */
export function writeToEditorSafe(text: string) {
  const editor = useEditorStore.getState().editor;
  if (!editor) return;
  const model = editor.getModel();
  if (!model) return;
  model.pushEditOperations(
    [],
    [{ range: model.getFullModelRange(), text }],
    () => null
  );
}

let _isInternalWrite = false;