Skip to content

fix: remove duplicate menu panel chrome#19

Merged
olujicz merged 1 commit into
mainfrom
codex/fix-menu-panel-double-border
Jul 3, 2026
Merged

fix: remove duplicate menu panel chrome#19
olujicz merged 1 commit into
mainfrom
codex/fix-menu-panel-double-border

Conversation

@olujicz

@olujicz olujicz commented Jul 3, 2026

Copy link
Copy Markdown
Owner

Summary

Testing

  • just format-check
  • just lint
  • just test

Checklist

  • Code follows the project's style guidelines
  • Documentation updated as needed
  • CHANGELOG updated (if applicable)
  • Release process followed for version, signing, packaging, or release workflow changes

@olujicz olujicz merged commit e937875 into main Jul 3, 2026
5 checks 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