set_reveal_area


Description:

public void set_reveal_area (Area area, bool reveal)

Sets the reveal status of the area.

Parameters:

this

a Dock

area

a Area. panel_area_center is an invalid value.

reveal

reveal the area.