Repository navigation

Fix new editor buffers and cancelled lint runs - #1746

Merged

Lorenzobattistela merged 2 commits into

bendlang:mainfrom

oxura:fix/lint-editor-runs-20261019b

Oct 19, 2026

Merged

Fix new editor buffers and cancelled lint runs#1746
Lorenzobattistela merged 2 commits into
bendlang:mainfrom
oxura:fix/lint-editor-runs-20261019b

Commits on Oct 19, 2026
- Handle unsaved documents, pending cancellation and bulk lint edits
  oxura
  committed
  6fbf770
- Keep the download fallback unchanged in editor fixes
  oxura
  committed
  bad74c2