-
Notifications
You must be signed in to change notification settings - Fork 8.4k
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
Increase padding around tabs #3370
Comments
Remember: any padding around the tabs is not usable to drag or resize the window. |
With the larger padding space, perhaps you could round the corners of the Terminal area, so it blends better |
I concur with @mdtauk, I want the little bottom rounded corners too :) Also, do we intent on adding the shadow to the tabs as well? I presumed that would have been included by MUX by default, but that does not seem to be the case... |
I believe shadows are included in the next preview version of the tabView. I was going to make a new issue for that. 😄 |
A bit of an offtop: is this bottom bar on the mock up (which btw looks awesome) scheduled for Terminal 1.0? I can't seem to find a github ticket for it. |
@electronic-dk Apparently there never was a thread for it, so I made #3459 just now. It's not in scope for 1.0 unfortunately. I'll direct further discussion on the subject to that thread. |
🎉This issue was addressed in #3513, which has now been successfully released as Handy links: |
Description of the new feature/enhancement
Increase the left and top padding around the tabs to match our original mockup:
Current version (v0.6):
Proposed technical implementation details (optional)
The text was updated successfully, but these errors were encountered: