remove


Description:

public void remove (Widget child)

Removes a child from the `GtkHeaderBar`.

The child must have been added with [[email protected]_start], [[email protected]_end] or [ [email protected]_title_widget].

Parameters:

this

a `GtkHeaderBar`

child

the child to remove




2022 vala-language.org