remove_overlay

Description:

public void remove_overlay (Widget widget)

Removes an overlay that was added with add_overlay.

Parameters:

this

a `GtkOverlay`
widget

a `GtkWidget` to be removed