pack_end

Description:

public void pack_end (Widget child)

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

Parameters:

this

A header bar
child

the widget to be added to this