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