| 371 | } |
| 372 | |
| 373 | void DefaultTeXFontParser::parseGeneralSettings(_out_ map<string, float>& res) throw(ex_res_parse) { |
| 374 | const XMLElement* settings = _root->FirstChildElement("GeneralSettings"); |
| 375 | if (settings == nullptr) throw ex_xml_parse(RESOURCE_NAME, "GeneralSettings"); |
| 376 | |
| 377 | int index = 0; |
| 378 | const string& v1 = getAttrValueAndCheckIfNotNull("mufontid", settings); |
| 379 | res["mufontid"] = __id(v1); |
| 380 | const string& v2 = getAttrValueAndCheckIfNotNull("spacefontid", settings); |
| 381 | res["spacefontid"] = __id(v2); |
| 382 | res["scriptfactor"] = getFloatAndCheck("scriptfactor", settings); |
| 383 | res["scriptscriptfactor"] = getFloatAndCheck("scriptscriptfactor", settings); |
| 384 | } |
nothing calls this directly
no test coverage detected