GDK Functions
Prev
pointer_ungrab
Next
pointer_ungrab
void pointer_ungrab([int
time = GDK_CURRENT_TIME
]);