-
So that we can more easily add GdHeaderBar in the following patches. Much of the advantage of using gtkbuilder was lost anyway because we couldn't really use it from glade without corrupting the file. https://bugzilla.gnome.org/show_bug.cgi?id=692174
17d52d46