Jimmy 9f28eabd2d Rename UI to LED Editor and improve mobile editor layout ...

Use "LED Editor" in page titles and the home heading. On narrow
viewports, make the file tree an off-canvas drawer with backdrop,
hamburger toggle, Escape to close, and auto-close after opening a
file. Add safe-area and tap-target tweaks, cache-bust static assets.

Co-authored-by: Cursor <cursoragent@cursor.com>

2026-05-10 03:16:35 +12:00

..

editor_app

Ship MicroPython stubs from repo lib/ and seed workspace lib on startup

2026-05-10 02:59:34 +12:00

static

Rename UI to LED Editor and improve mobile editor layout

2026-05-10 03:16:35 +12:00

app.py

Add browser Python editor with Pyodide, user auth, and workspace API

2026-05-01 14:33:26 +12:00