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