Change titlebar to use GtkHeaderBar
https://wiki.gnome.org/GnomeGoals/HeaderBars https://bugzilla.gnome.org/show_bug.cgi?id=711714
parent
d9e302ef
Please register or sign in to comment
https://wiki.gnome.org/GnomeGoals/HeaderBars https://bugzilla.gnome.org/show_bug.cgi?id=711714