Searched refs:highlight_changed (Results 1 – 7 of 7) sorted by relevance
46 int highlight_changed(void);
829 if (highlight_changed() == FAIL) in did_set_string_option()2381 (void)highlight_changed(); in did_set_string_option()
744 highlight_changed(); in highlight_reset_all()3611 highlight_changed(); in highlight_gui_started()3732 highlight_changed(void) in highlight_changed() function
215 highlight_changed(); in update_screen()
204 highlight_changed(); in edit()
4824 highlight_changed(); in init_gui_options()
2436 (void)highlight_changed(); in didset_options2()