Searched refs:did_highlight_changed (Results 1 – 1 of 1) sorted by relevance
1403 int did_highlight_changed = FALSE; in do_highlight() local1702 did_highlight_changed = TRUE; in do_highlight()1749 && !did_highlight_changed in do_highlight()