[Konsole-devel] [Bug 224081] Konsole tab bar should use tab widget corner buttons facility rather than a custom layout

Eike Hein hein at kde.org
Mon Jan 25 16:04:48 UTC 2010


--- Comment #2 from Eike Hein <hein kde org>  2010-01-25 17:04:43 ---
Using a regular tab bar in document mode should actually reduce the spacing
further these days, e.g. the tab bar baseline is actually a pixel or two
narrower then, for example (which would be another item on the list of visual
inconsistencies right now).

The "baseline thing is only relevant when buttons are enabled" point is true,
but then it's a pretty popular option for users to enable, and "but it's only
buggy if the user uses the feature" isn't that much of an argument imho ;).

I understand the historic reasons for the difference, but whether it can be
dealt with now would be worth investigating imho.

Configure bugmail: https://bugs.kde.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.

More information about the konsole-devel mailing list