Skip to content

feat: formatting toolbar, keyboard shortcuts, and PDF zoom#15

Merged
leonardosalasd merged 2 commits into
mainfrom
feat/editor-tools
Jun 18, 2026
Merged

feat: formatting toolbar, keyboard shortcuts, and PDF zoom#15
leonardosalasd merged 2 commits into
mainfrom
feat/editor-tools

feat: clickable compile errors and richer autocomplete

390b342
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check
succeeded Jun 18, 2026 in 58s