get_available_area


Description:

public void get_available_area (ActorBox allocation, ActorBox area)

Copies allocation into area and accounts for the padding values.

This gives the area that is available in which to allocate children with respect to padding.

Parameters:

this

A Widget

allocation

A ActorBox

area

A ActorBox