Skip to content

Sidebar Tweaks#2110

Merged
casperstorm merged 3 commits into
mainfrom
sidebar-tweaks
Jun 16, 2026
Merged

Sidebar Tweaks#2110
casperstorm merged 3 commits into
mainfrom
sidebar-tweaks

Conversation

@andymandias

Copy link
Copy Markdown
Collaborator

A few tweaks to follow-up on #2015:

  • Tweak hamburger menu placement and badging to match/align with other icons in the sidebar
  • Hide internal buffers in the menu when they are shown in the sidebar
  • Minor naming consistency fix

@luca020400 luca020400 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@casperstorm casperstorm merged commit 6510de7 into main Jun 16, 2026
8 of 9 checks passed
@casperstorm casperstorm deleted the sidebar-tweaks branch June 16, 2026 10:19
@andymandias andymandias added this to the 2026.8 milestone Jun 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants