remove_header_bar

Description:

public void remove_header_bar (HeaderBar header_bar)

Removes a widget from a HeaderGroup

Parameters:

this

a HeaderGroup
header_bar

the HeaderBar to remove