Yeji HanandNeil 4948524c84 fix(editor): enable Lean syntax highlighting (#31930) ...

* fix(editor): enable Lean syntax highlighting

* fix(editor): enable Lean syntax highlighting

Adapt #31930 onto current main and retain its bundled Lean grammar repair. Register the lazy TextMate provider and cover detection, proof syntax, nested comments, and bounded tokenization.

* test(editor): verify Lean highlighting in the full app

---------

Co-authored-by: Neil <neil@stably.ai>

2026-10-24 02:07:43 -07:00

..

e2e

fix(editor): enable Lean syntax highlighting (#31930)

2026-10-24 02:07:43 -07:00

tools

feat(chat): add terminal-style pane header actions (#28968)

2026-10-23 16:17:28 -07:00

.gitignore

feat: add idempotent E2E test suite with headless Electron support (#671)

2026-04-19 12:09:32 -07:00

AGENTS.md

docs: slim test agent instructions (#31246)

2026-10-20 15:25:48 -07:00

playwright.config.ts

Reduce CI import, frame-capture, teardown, and shard costs (#28879)

2026-10-14 17:10:55 -07:00