Searched refs:DTD_recovery_string (Results 1 – 2 of 2) sorted by relevance
2281 static const char *DTD_recovery_string = RC_TAGSOUP; variable2999 if (!strcmp(data[i].tag, DTD_recovery_string) in postoptions()4035 PutLabel(fp0, gettext("HTML error recovery"), DTD_recovery_string); in gen_options()4036 BeginSelect(fp0, DTD_recovery_string); in gen_options()
2292 static const char *DTD_recovery_string = RC_TAGSOUP; variable3022 if (!strcmp(data[i].tag, DTD_recovery_string) in postoptions()4087 PutLabel(fp0, gettext("HTML error recovery"), DTD_recovery_string); in gen_options()4088 BeginSelect(fp0, DTD_recovery_string); in gen_options()