Searched refs:mark_HTML (Results 1 – 6 of 6) sorted by relevance
1861 if (mark_HTML && restore_HTML) {1965 if (mark_HTML) {1993 if (mark_HTML) {2047 if (mark_HTML) {2158 if (mark_HTML) {2578 if (mark_HTML && syntax_mask != syntax_mask_old) {2600 if (mark_HTML) {
1155 mark_HTML = True; in set_file_type_flags()1156 } else if (mark_HTML == UNSURE) { in set_file_type_flags()1173 mark_HTML = True; in set_file_type_flags()1182 mark_HTML = True; in set_file_type_flags()1185 mark_HTML = False; in set_file_type_flags()3446 if (mark_HTML /* && not before... */) {
491 extern FLAG mark_HTML; /* display HTML marked ? */
274 FLAG mark_HTML = UNSURE; /* Display HTML marked ? */ variable5677 mark_HTML = plus_opt;6727 prefmov (mark_HTML);
1015 If mark_HTML in toggle_HTML()1016 Then mark_HTML = False; in toggle_HTML() local1017 Else mark_HTML = True; in toggle_HTML() local
567 if (mark_HTML == False &&1813 default: if (mark_HTML) {