Display.keyboardUngrab

void keyboardUngrab(uint time)

Release any keyboard grab

Parameters

time a timestap (e.g #GDK_CURRENT_TIME).

Deprecated

Use gdk.device.Device.ungrab, together with gdk.device.Device.grab

instead.