GNOME Bugzilla – Bug 722231
Use a GtkHeaderBar
Last modified: 2014-05-18 04:39:29 UTC
After removing the toolbar, we should use a GtkHeaderBar for the title bar. This is part of the games modernization effort. [1] https://wiki.gnome.org/Initiatives/GnomeGoals/HeaderBars [2] https://wiki.gnome.org/Apps/Games/Modernisation