Prev
GdkDisplay::pointer_ungrab
Next
GdkDisplay::pointer_ungrab
void pointer_ungrab([int
time_ = GDK_CURRENT_TIME
]);
See also:
keyboard_ungrab()