LT_HTMLFORCECSS,
LT_INPREAMBLE,
LT_HTMLTITLE,
+ LT_SPELLCHECK,
+ LT_REFPREFIX,
LT_INTITLE // keep this last!
};
htmllabelfirst_ = false;
htmlforcecss_ = false;
htmltitle_ = false;
+ spellcheck = true;
}
{ "parskip", LT_PARSKIP },
{ "passthru", LT_PASS_THRU },
{ "preamble", LT_PREAMBLE },
+ { "refprefix", LT_REFPREFIX },
{ "requires", LT_REQUIRES },
{ "rightmargin", LT_RIGHTMARGIN },
{ "spacing", LT_SPACING },
+ { "spellcheck", LT_SPELLCHECK },
{ "textfont", LT_TEXTFONT },
{ "toclevel", LT_TOCLEVEL },
{ "topsep", LT_TOPSEP }
requires_.insert(req.begin(), req.end());
break;
}
+
+ case LT_REFPREFIX:
+ lex >> refprefix;
+ break;
case LT_HTMLTAG:
lex >> htmltag_;
case LT_HTMLTITLE:
lex >> htmltitle_;
break;
+
+ case LT_SPELLCHECK:
+ lex >> spellcheck;
+ break;
}
}
lex.popTable();