while (grab_keyboard(FALSE));
while (grab_pointer(FALSE, OB_CURSOR_NONE));
while (grab_pointer_window(FALSE, OB_CURSOR_NONE, None));
while (grab_keyboard(FALSE));
while (grab_pointer(FALSE, OB_CURSOR_NONE));
while (grab_pointer_window(FALSE, OB_CURSOR_NONE, None));