-
Notifications
You must be signed in to change notification settings - Fork 4.9k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat(gui): Pin tabs #2230
feat(gui): Pin tabs #2230
Conversation
@Mino260806 sure, this looks fine and can help navigation if the user pinned a lot of tabs. And, for such optional panels, using some kind of dockable framework will be great (ModernDocking looks quite active), but this will be a huge task to do 😭 |
I think this deserves to be a seperate PR. ModernDocking seems to also support split panels and tabbed panes. So I'll implement this feature temporarily using normal swing framework, and then it shouldn't be difficult to migrate it to ModernDocking alongside other gui components. |
@skylot let me know what you think! |
@Mino260806 thank you! Great work 👍 |
I think I need to ask you before implementing the last change. It would be hidden by default, and opened through
View > Pinned Tabs
. Please see below image. I'm waiting for confirmationMy draft for pinned tabs frame
Edit:
The pinned tabs frame can also serve to display other kinds of tabs like bookmarked tabs, so once it's ready, I can PR bookmarks feature (#1078), and rename the frame to "quick tabs frame" or something similar
closes #1809
closes #847
closes one of the suggestions from #1684
Icons from: https://intellij-icons.jetbrains.design/