remove_overlay


Description:

public void remove_overlay (Widget widget)

Removes an overlay that was added with add_overlay.

Parameters:

this

a Overlay

widget

a Widget to be removed