This widget has been developed as GdHeaderBar in libgd.
The copy here has been renamed and changed to use GTK+
internals.