Searched refs:gui_update_cursor_later (Results 1 – 3 of 3) sorted by relevance
22 void gui_update_cursor_later(void);
1075 gui_update_cursor_later(); in ui_cursor_shape_forced()
1821 gui_update_cursor_later(void) in gui_update_cursor_later() function