Repository navigation

Editor cleanup and Node.js 24 GitHub actions - #23

Merged

andrewchen5678 merged 5 commits into

mainfrom

drop-save-button

Sep 25, 2026

Merged

Editor cleanup and Node.js 24 GitHub actions#23
andrewchen5678 merged 5 commits into
mainfrom
drop-save-button

Commits on Sep 25, 2026
- Drop the editor's Save button and color Validate apart
  
  Andrew Chen
  and
  claude
  committed
  0715abc
- Make the Validate button keyboard-focusable
  
  Andrew Chen
  and
  claude
  committed
  f48b9d6
- Keep shortcuts working after leaving the editor
  
  Andrew Chen
  and
  claude
  committed
  45f931f
- Move GitHub actions off the deprecated Node.js 20 runtime
  
  Andrew Chen
  and
  claude
  committed
  c7c5001
- Bump version to 0.0.19
  
  Andrew Chen
  and
  claude
  committed
  15c22ef