Skip to content

add support for pinned tabs#4

Merged
dnlvgl merged 1 commit intomainfrom
pinned-tabs
Feb 10, 2026
Merged

add support for pinned tabs#4
dnlvgl merged 1 commit intomainfrom
pinned-tabs

Conversation

@dnlvgl
Copy link
Owner

@dnlvgl dnlvgl commented Feb 10, 2026

  • Tabs are now organized into three distinct categories: pinned, grouped, and ungrouped
  • Pinned tabs display as a dedicated virtual group with their own header
  • Tab display order updated to show pinned tabs first, followed by grouped and ungrouped tabs

closes #2

Repository owner deleted a comment from coderabbitai bot Feb 10, 2026
@dnlvgl dnlvgl merged commit d5b6652 into main Feb 10, 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.

Optionally ignore pinned tabs

1 participant