gtk:overlay-remove-overlay (overlay widget)

overlay -- a gtk:overlay widget
widget -- a gtk:widget overlay widget to be removed

Removes an overlay widget that was added with the gtk:overlay-add-overlay function.