set_focus

Description:

public void set_focus (HeaderBar? header_bar)

Sets the the currently focused header bar.

If header_bar is null, the decoration will be spread as if the header bars of the group were only one, otherwise header_bar will be the only one to receive the decoration.

Parameters:

this	a HeaderGroup
header_bar	a HeaderBar of this, or null