Display.pointerUngrab

Release any pointer grab.

More...
class Display
void
pointerUngrab
(
uint time
)

Parameters

time uint

a timestap (e.g. %GDK_CURRENT_TIME).

Detailed Description

Deprecated: Use gdk_device_ungrab(), together with gdk_device_grab() instead.

Meta