fun pack_end(child: GtkWidget) `{ gtk_header_bar_pack_end(self, child); `}