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 Device.ungrab, together with Device.grab instead.

Meta