Bug 323601 - Panel (dock widget) headers
Summary: Panel (dock widget) headers
Status: CONFIRMED
Alias: None
Product: marble
Classification: Applications
Component: general (show other bugs)
Version: unspecified
Platform: unspecified Linux
: NOR wishlist
Target Milestone: ---
Assignee: marble-bugs
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-08-16 14:54 UTC by Dennis Nienhüser
Modified: 2013-10-20 07:39 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed In:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Dennis Nienhüser 2013-08-16 14:54:41 UTC 
Dock widgets show a title / header, which is duplicated (and hence wastes space) once they are tabbed because the tab header shows the same information. Ideally the title / header would become invisible in tabbed mode.