[Wayland-bugs] [Bug 782770] old style menu in header bar ?

[gtk+ (GNOME Bugzilla)]

https://bugzilla.gnome.org/show_bug.cgi?id=782770

Matthias Clasen <mclasen at redhat.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |WONTFIX

--- Comment #4 from Matthias Clasen <mclasen at redhat.com> ---
I don't have high hopes for application consistency in general. That being
said, titlebar height is a topic that you need to take up with the theme
designers. They are constantly looking for ways to shrink it.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/wayland-bugs/attachments/20170628/e44509d7/attachment.html>