Searched refs:gui_stop_highlight (Results 1 – 2 of 2) sorted by relevance
20 void gui_stop_highlight(int mask);
1786 gui_stop_highlight(int mask) in gui_stop_highlight() function1938 gui_stop_highlight(arg1); in gui_write()