gtk:header-bar-pack-end (header child)

header -- a gtk:header-bar widget
child -- a gtk:widget child widget to be added to the header bar

Adds a child widget to the header bar, packed with reference to the end of the header bar.