Main.grabRemove

Removes the grab from the given widget. You have to pair calls to gtk_grab_add() and gtk_grab_remove(). If widget does not have the grab, this function does nothing.

class Main
static
void
grabRemove

Parameters

widget Widget

The widget which gives up the grab

Meta