pack_end

Description:

public void pack_end (Widget child)

Adds child to this, packed with reference to the end of this.

Parameters:

this

a header bar
child

the widget to be added to this