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

Setting to hide tab title when there is only one tab no more work #832

Open
BorisNA opened this issue Dec 22, 2024 · 5 comments · May be fixed by #833
Open

Setting to hide tab title when there is only one tab no more work #832

BorisNA opened this issue Dec 22, 2024 · 5 comments · May be fixed by #833

Comments

@BorisNA
Copy link

BorisNA commented Dec 22, 2024

What Happened?

After the latest update (version 6.3.0+r2614+pkg89~ubuntu7.1) terminal appears to ignore old gsetting

gsettings set io.elementary.terminal.settings tab-bar-behavior 'Hide When Single Tab'

'gsettings' still lists this option as a valid one, but the terminal opens with the tab title shown, even for the one tab.

'Never Show Tabs' does not work either

Steps to Reproduce

  1. Updated to 6.3.0+r2614+pkg89~ubuntu7.1
  2. Opened a terminal
  3. Re-checked correct gsettings value (Hide When Single Tab)
  4. Tab's header is there

Screenshot from 2024-12-23 00 13 14

Expected Behavior

Tab headers should be hidden

In fact, they take too much space on old small displays (think about old x220 and like).

OS Version

7.x (Horus)

Session Type

Classic Session (X11, This is the default)

Software Version

Latest release (I have run all updates)

Log Output

No response

Hardware Info

No response

@ryonakano
Copy link
Contributor

Seems like this feature was removed in #760 and the gsettings key is just a leftover

@ryonakano
Copy link
Contributor

I think we can re-implement (at least) "Hide When Single Tab" by using Hdy.TabBar.autohide which is fixed to false in the current code, but I'm not sure if developers interested in re-implementing this because this feature has been a hidden settings which means most users couldn't and wouldn't configure it unless they know gsettings command or unofficial tools like Pantheon Tweaks.

@jeremypw
Copy link
Collaborator

Its the designer's call but I do not think the benefit of these settings (if any) is worth the added visual noise.

@BorisNA
Copy link
Author

BorisNA commented Dec 23, 2024

There would be no 'visual noise' becasue these settings are controlled through gsettings, that is command line, without confusing other users.

As for tabs - yes, it's designers call, I never understood rationale for tabs in terminal emulator in DEs with WM (unlike screen or tmux in real terminals, but it is a completely different story).

this feature has been a hidden settings which means most users couldn't and wouldn't configure it

Yes, unfortunately there is a loop - most users wouldn't configure it since there is no such setting, and there is no such setting, since designers (or developers) think that users wouldn't use it.

BorisNA added a commit to BorisNA/elementary-terminal that referenced this issue Dec 23, 2024
Bring back autohide feature from elementary#832
@BorisNA BorisNA linked a pull request Dec 23, 2024 that will close this issue
@BorisNA
Copy link
Author

BorisNA commented Dec 29, 2024

Proposed PR should completely bring 6.1.2/6.2.0 behavior back if maintainers approve it.

In the meantime, I made a PPA build of the old version for myself (since it was deleted in the base repository when the 6.3.0 was published).

If anybody is interested - here is the PPA receipe and here is the PPA binary package

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 a pull request may close this issue.

3 participants