Now making use of widget templates and proper height-for-width geometry.
Header bars are used depending on the gtk setting, and deprecated
functions have been removed (modulo GtkAction).