| 138 | } |
| 139 | |
| 140 | void DefaultTeXFontParser::parseExtraPath() throw(ex_res_parse) { |
| 141 | const XMLElement* syms = _root->FirstChildElement("TeXSymbols"); |
| 142 | if (syms != nullptr) { // element present |
| 143 | string include = getAttrValueAndCheckIfNotNull("include", syms); |
| 144 | SymbolAtom::addSymbolAtom(_base + "/" + include); |
| 145 | } |
| 146 | const XMLElement* settings = _root->FirstChildElement("FormulaSettings"); |
| 147 | if (settings != nullptr) { |
| 148 | string include = getAttrValueAndCheckIfNotNull("include", settings); |
| 149 | TeXFormula::addSymbolMappings(_base + "/" + include); |
| 150 | } |
| 151 | } |
| 152 | |
| 153 | void DefaultTeXFontParser::parseFontDescriptions() throw(ex_res_parse) { |
| 154 | const XMLElement* des = _root->FirstChildElement("FontDescriptions"); |
no test coverage detected