old_syntax_hl     123 src/editor/editoptions.c     gboolean old_syntax_hl;
old_syntax_hl     197 src/editor/editoptions.c     old_syntax_hl = option_syntax_highlighting;
old_syntax_hl     235 src/editor/editoptions.c     if (option_syntax_highlighting != old_syntax_hl)