grab_remove
Description:
public void grab_remove (
Widget widget)
Removes the grab from the given widget.
You have to pair calls to grab_add and grab_remove.
If this does not have the grab, this function does nothing.
Parameters:
| this |
The widget which gives up the grab
|