Searched refs:ignore_mouse_hide (Results 1 – 2 of 2) sorted by relevance
91 static gboolean ignore_mouse_hide = FALSE; variable100 ignore_mouse_hide = state; in ui_set_ignore_mouse_hide()362 if (ignore_mouse_hide) { in event_box_stillness_tick_cb()
90 static gboolean ignore_mouse_hide = FALSE; variable99 ignore_mouse_hide = state; in ui_set_ignore_mouse_hide()491 if (ignore_mouse_hide) { in event_box_stillness_tick_cb()