More changes to  gtkheaderbar