Searched refs:old_hl_mask (Results 1 – 1 of 1) sorted by relevance
1135 int old_hl_mask; in gui_update_cursor() local1313 old_hl_mask = gui.highlight_mask; in gui_update_cursor()1374 gui.highlight_mask = old_hl_mask; in gui_update_cursor()2736 long_u old_hl_mask; in gui_redraw_block() local2757 old_hl_mask = gui.highlight_mask; in gui_redraw_block()2887 gui.highlight_mask = (int)old_hl_mask; in gui_redraw_block()