set_child_enabled

Description:

public void set_child_enabled (Widget child, bool enabled)

Make this enable or disable child.

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	true to enable the child, false to disable it