https://bugzilla.gnome.org/show_bug.cgi?id=779416
--- Comment #9 from Eugen Klim <[email protected]> ---
>What we are *not* going to do is to have a toggle that disables GtkHeaderBar
Well, the problem does not concern title bar with widgets, but it is vital to
have possibility of turning off useless title bars with just a label and a
close button.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
wayland-bugs mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/wayland-bugs
