Widget.grabRemove

void grabRemove()

Removes the grab from the given widget.

You have to pair calls to gtk.widget.Widget.grabAdd and gtk.widget.Widget.grabRemove.

If widget does not have the grab, this function does nothing.