old_syntax_hl     126 src/editor/editoptions.c     gboolean old_syntax_hl;
old_syntax_hl     199 src/editor/editoptions.c     old_syntax_hl = edit_options.syntax_highlighting;
old_syntax_hl     237 src/editor/editoptions.c     if (edit_options.syntax_highlighting != old_syntax_hl)