set_child_enabled


Description:

public void set_child_enabled (Widget child, bool enabled)

Sets whether child is enabled.

If a child is disabled, it will be ignored when looking for the child fitting the available size best. This allows to programmatically and prematurely hide a child of this even if it fits in the available space.

This can be used e.g. to ensure a certain child is hidden below a certain window width, or any other constraint you find suitable.

Parameters:

this

a squeezer

child

a child of this

enabled

whether to enable the child