Skip to content

Editor: Joined the file editor's tabs to the editor, as on GitHub - #111

Merged
whereareiam merged 1 commit into
devfrom
fix/file-editor-box
Oct 23, 2026
Merged

whereareiam merged 1 commit into
devfrom
fix/file-editor-box

Conversation

@whereareiam

@whereareiam whereareiam commented Oct 22, 2026 •

Copy link
Copy Markdown
Owner

Stacked on #110 (fix/issue-sidebar-development); merge that first.

What changes

The file editor's Edit / Preview / Preview changes tabs and its find button floated above the editor. GitHub draws them as the header of the editor's box: a bar in the box header colour, joined to the editor below it, with 32px controls.

Before and after

Dark mode, in the dev preview at 1316px.

Edit file: before after
Edit file before Edit file after

Checks

  • bun run bundle, bunx vitest run (416 tests) and Prettier pass on this branch. bun run lint fails on dev too, because typescript-eslint does not support the installed TypeScript 7.
  • The pull request workflow runs only for pull requests into dev, so these checks ran locally.
  • Checked in the dev preview at desktop and phone width, in dark and light mode.

Preview: http://localhost:3000/acme/webapp/_edit/main/README.md

🤖 Generated with Claude Code

@whereareiam whereareiam added the change Changed look, templates or compatibility label Oct 22, 2026
The file editor's Edit/Preview/Preview changes tabs and its find
button floated above the editor. GitHub draws them as the header of the
editor's box: a bar on the box header colour, joined to the editor
below it, with 32px controls.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@whereareiam
whereareiam force-pushed the fix/issue-sidebar-development branch from 75d3650 to f442189 Compare October 23, 2026 05:56
Base automatically changed from fix/issue-sidebar-development to dev October 23, 2026 06:02
@whereareiam
whereareiam merged commit dffd693 into dev Oct 23, 2026
7 checks passed
@whereareiam
whereareiam deleted the fix/file-editor-box branch October 23, 2026 06:02
@whereareiam whereareiam changed the title Editor: GitHub's editor box for new, edited and uploaded files Editor: Joined the file editor's tabs to the editor, as on GitHub Oct 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

change Changed look, templates or compatibility

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant