https://bugzilla.gnome.org/show_bug.cgi?id=779416
Emmanuele Bassi (:ebassi) <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |[email protected]
--- Comment #6 from Emmanuele Bassi (:ebassi) <[email protected]> ---
It seems we're going in circles.
If the header bar is automatically added by GTK+ — i.e. for dialogs, or for
top-level windows under Wayland — we are amenable to have a platform setting to
toggle that; GtkDialog already has one, so that would leave adding a setting
for GtkWindow.
What we are *not* going to do is to have a toggle that disables GtkHeaderBar
widgets added by the application, because that would *break* applications that
put the header bar widget there for a reason.
--
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
