Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Option to combine the tabs-bar into the titlebar #5066

Open
1 task done
jvanmourik opened this issue Dec 23, 2022 · 0 comments
Open
1 task done

Option to combine the tabs-bar into the titlebar #5066

jvanmourik opened this issue Dec 23, 2022 · 0 comments
Labels
design [core label] enhancement [core label] tabs Feedback for tabs behavior, navigation, style, etc workspace Feedback for workspace management, layout, interactions, etc

Comments

@jvanmourik
Copy link

Check for existing issues

  • Completed

Describe the feature

It would be nice to have an option which places the file tabs inside the titlebar. This would reduce the footprint of the editor and be in line with Zed's "Your editor should disappear" design goal.

If applicable, add mockups / screenshots to help present your vision of the feature

frame
@jvanmourik jvanmourik added enhancement [core label] triage Maintainer needs to classify the issue labels Dec 23, 2022
@JosephTLyons JosephTLyons added design [core label] workspace Feedback for workspace management, layout, interactions, etc tabs Feedback for tabs behavior, navigation, style, etc and removed triage Maintainer needs to classify the issue labels Dec 23, 2022
@JosephTLyons JosephTLyons mentioned this issue Jan 9, 2023
Open
@JosephTLyons JosephTLyons transferred this issue from zed-industries/community Jan 24, 2024
@wmstack wmstack mentioned this issue Feb 29, 2024
Merged
@Moshyfawn Moshyfawn mentioned this issue Jun 16, 2024
Closed
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
design [core label] enhancement [core label] tabs Feedback for tabs behavior, navigation, style, etc workspace Feedback for workspace management, layout, interactions, etc
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jvanmourik @JosephTLyons