Skip to content

Cleanup: drawer closes on a click outside; unused strings - #18

Merged
cedricvogel-leo merged 1 commit into
chore/bump-editor-v0.1.12from
chore/cleanup-shell
Oct 25, 2026
Merged

cedricvogel-leo merged 1 commit into
chore/bump-editor-v0.1.12from
chore/cleanup-shell

Conversation

@cedricvogel-leo

Copy link
Copy Markdown
Collaborator

Part of the P18 cleanup. It is based on #17 (v0.1.12 bump); merge #17 first, and GitHub then retargets this PR to main.

  • Files drawer: a click anywhere but the drawer and 📁 closes it, as the ⋮ menu does. Escape, ✕ and 📁 work as before.
  • Strings: the 19 shell strings no component uses anymore are dropped: the old sidebar and footer, the teacher note, the sign-in labels, and the output messages. I checked that none of them is also a workspace (CoreStrings) key.
  • CLAUDE.md: the old shell CSS in glpython-editor is gone (Cleanup: remove the old IDE shell's CSS glpython-editor#32).

Tested in this build. A click inside the drawer keeps it open; a click in the editor or the console closes it; 📁 opens and closes it.

Build and lint pass (the same 7 warnings as main).

🤖 Generated with Claude Code

A click anywhere but the drawer and 📁 closes the drawer, as the ⋮ menu
does. The 19 shell strings no component uses anymore (old sidebar, footer,
teacher note, sign-in labels, output messages) are dropped. CLAUDE.md: the
editor's old shell CSS is gone (glpython-edu/glpython-editor#32).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@cedricvogel-leo
cedricvogel-leo merged commit 8d7e06e into chore/bump-editor-v0.1.12 Oct 25, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant