gdkKeyboardUngrab: gdkKeyboardUngrab
Description
Ungrabs the keyboard, if it is grabbed by this application.Usage
gdkKeyboardUngrab(time = "GDK_CURRENT_TIME")
Arguments
time
[numeric] a timestamp from a GdkEvent, or GDK_CURRENT_TIME if no
timestamp is available.