The main driver for my ask was that the headerbar can save some screen real state

I guess it depends on how you consider saving screen real-estate. While the GtkHeaderBar is technically smaller than a menu/toolbar+window decorations, it also wastes a lot of space where functionality could be accessible from, opting to bury it inconveniently beneath hamburgers and submenus. On top of that, it also drops the native window manager controls and looks completely out of place (except on GNOME of course).

update a bit the look and feel (yes I was thinking gnome primarily, but Windows would benefit as well)

I think the only desktop environments where it would look more appropriate are GNOME and perhaps ElementaryOS (although their headerbar is different I believe).

it's been a long time since gtk3 apps with headerbars work on windows - see for instance gedit 3.20

I didn't mean to imply it didn't work, just that it looks terribly out of place and removes native window manager decorations which are important for cross-application consistency. Somehow it manages to look even worse and less native than Chrome on Windows, which is saying a lot.

An optional plugin approach to headerbar support would be super nice

Even though I hate CSD/GtkHeaderBar, if anyone wants to make such a plugin, I would be willing to assist, just for the fun of hacking Geany's UI in unusual ways :)

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.