pointer_ungrab

void pointer_ungrab([int time = GDK_CURRENT_TIME]);