Bug 323601

Summary:	Panel (dock widget) headers
Product:	[Applications] marble	Reporter:	Dennis Nienhüser <nienhueser>
Component:	general	Assignee:	marble-bugs
Status:	CONFIRMED ---
Severity:	wishlist
Priority:	NOR
Version First Reported In:	unspecified
Target Milestone:	---
Platform:	unspecified
OS:	Linux
Latest Commit:		Version Fixed In:
Sentry Crash Report:

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.