Repository navigation

feat: improve error handling for pretty-printer; retire legacy server formatting - #7

Merged

jzxia merged 13 commits into

feat__local_pretty_printer__better_error_and_info

Jul 20, 2026

Merged

feat: improve error handling for pretty-printer; retire legacy server formatting#7
jzxia merged 13 commits into
masterfrom
feat__local_pretty_printer__better_error_and_info

Commits on Jul 15, 2026
Commits on Jul 16, 2026
- feat: pretty-print: prevent concurrent pretty-printer runs
  jzxia
  committed
  c6f8b3d
- feat: skip redundant pretty-printer runs by tracking pretty-print state per document and reset it after edits
  jzxia
  committed
  790e54a
Commits on Jul 17, 2026
Commits on Jul 19, 2026
- fix(pretty-printer): repeat source errors for unchanged files (i.e., do not skip pretty-printing for unchanged invalid files)
  jzxia
  committed
  087e6d4
- Retire legacy server formatting
  jzxia
  committed
  b81812c