export type EditorLanguage =
  | 'javascript'
  | 'json'
  | 'markdown'
  | 'python'
  | 'shell'
  | 'text';

export interface EditorCursorPosition {
  column: number;
  line: number;
}

export type EditorSaveState = 'dirty' | 'error' | 'saved' | 'saving';

/** Rich Markdown is disabled above this size to keep editing responsive. */
export const MAX_LIVE_MARKDOWN_CHARACTERS = 300_000;

/** Syntax parsing is disabled above this size while plain-text editing remains available. */
export const MAX_HIGHLIGHTED_TEXT_CHARACTERS = 800_000;
