6792 shaares
But the design shows that the tab is flexibler, i.e. it can move outside of the window. The active tab is still highlighted, so it's ok for me.
I nice thing would be to let the user choose in the configuration. Oh wait ! they have done it 👍
https://askubuntu.com/a/1342536/1024714