https://bugzilla.gnome.org/show_bug.cgi?id=779416
--- Comment #7 from Hugo Osvaldo Barrera <[email protected]> ---
> 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.
Right, that sounds perfect (not entirely sure what non-top level windows would
be though). A system-wide or user-wide setting (such as
`.config/gtk-3.0/settings.ini`), or an an env var would do (don't really care
which of these it is).
> 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.
Yes, I agree completely. If an application explicitly adds it, then it should
be visible anyway. (I don't think I use any such applications anyway).
--
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
