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.