add_header_bar


Description:

public void add_header_bar (HeaderBar header_bar)

Adds header_bar to this.

When the widget is destroyed or no longer referenced elsewhere, it will be removed from the header group.

Parameters:

this

a header group

header_bar

the header bar to add