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.

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

[Feature Request]: No tabbar if only one tab? #1201

Open
ISO8807 opened this issue Jan 29, 2023 · 6 comments
Open

[Feature Request]: No tabbar if only one tab? #1201

ISO8807 opened this issue Jan 29, 2023 · 6 comments

Comments

@ISO8807
Copy link

ISO8807 commented Jan 29, 2023

Although I have enabled tabs (which can be very useful), I normally have only one tab. It looks a little odd to have a whole tabbar for this.

Would it be feasible to hide the tabbar if there is only one tab? Only on adding a second tab (i.e. window) would the tabbar become visible. On closing this second tab, the tabbar should be hidden again.

Thanks for listening.

@mintty
Copy link
Owner

mintty commented Jan 29, 2023

Personally I'm not in favour of such auto-magic. Could be an option though.

@ISO8807
Copy link
Author

ISO8807 commented Jan 30, 2023

Thanks for the reply, which is understandable. Mintty allows the scrollbar to be turned on and off. Perhaps there could be a similar possibility to turn the tabbar on and off. Just a thought.

@ISO8807
Copy link
Author

ISO8807 commented Jan 30, 2023

Out of curiosity, I did a quick hack of the source code to try this idea out. I arranged for a control character (Ctrl-B for "bar") to toggle visibility of the tabbar using win_open_tabbar or win_close_tabbar according to the result of win_tabbar_visible. That achieves what I wanted, though of course it might well not be something you want to incorporate in the main code or in the hackish way I did it.

@mintty
Copy link
Owner

mintty commented Jan 30, 2023

Yes, I checked the same. I will add user-definable functions, maybe one function toggle-tabbar.

@mintty
Copy link
Owner

mintty commented Feb 17, 2023

Finally managed to commit this...

@mintty
Copy link
Owner

mintty commented Mar 25, 2023

Released 3.6.4.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants