[Marble-bugs] [marble] [Bug 323601] New: Dock Widget headers

[Dennis Nienhüser]

https://bugs.kde.org/show_bug.cgi?id=323601

            Bug ID: 323601
           Summary: Dock Widget headers
    Classification: Unclassified
           Product: marble
           Version: 1.6.0 (KDE 4.11.0)
          Platform: unspecified
                OS: Linux
            Status: UNCONFIRMED
          Severity: wishlist
          Priority: NOR
         Component: general
          Assignee: marble-bugs at kde.org
          Reporter: earthwings at gentoo.org

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.

-- 
You are receiving this mail because:
You are the assignee for the bug.