remove_overlay

Description:

public void remove_overlay (Widget widget)

Removes an overlay that was added with add_overlay.

this	a `GtkOverlay`
widget	a `GtkWidget` to be removed