remove_gtk_header_bar

Description:

public void remove_gtk_header_bar (HeaderBar header_bar)

Removes header_bar from this.

Parameters:

this

a header group
header_bar

the header bar to remove