void grab_shutdown()
{
while (grab_keyboard(FALSE));
- while (grab_pointer(FALSE, None));
- while (grab_pointer_window(FALSE, None, None));
+ while (grab_pointer(FALSE, OB_CURSOR_NONE));
+ while (grab_pointer_window(FALSE, OB_CURSOR_NONE, None));
while (grab_server(FALSE));
}
void grab_button(guint button, guint state, Window win, guint mask)
{
- grab_button_full(button, state, win, mask, GrabModeAsync, None);
+ grab_button_full(button, state, win, mask, GrabModeAsync, OB_CURSOR_NONE);
}
void ungrab_button(guint button, guint state, Window win)
if (menu_frame_visible == NULL) {
/* no menus shown yet */
- grab_pointer(TRUE, None);
+ grab_pointer(TRUE, OB_CURSOR_NONE);
grab_keyboard(TRUE);
}
if (menu_frame_visible == NULL) {
/* last menu shown */
- grab_pointer(FALSE, None);
+ grab_pointer(FALSE, OB_CURSOR_NONE);
grab_keyboard(FALSE);
}