| 58 | } |
| 59 | |
| 60 | void DefaultTeXFontParser::parse_larger( |
| 61 | const XMLElement* e, wchar_t c, _out_ FontInfo& f) throw(ex_xml_parse) { |
| 62 | const string name = getAttrValueAndCheckIfNotNull("fontId", e); |
| 63 | int code = getIntAndCheck("code", e); |
| 64 | f.setNextLarger(c, (wchar_t)code, __id(name)); |
| 65 | } |
| 66 | |
| 67 | /**************************************** font information ****************************************/ |
| 68 |
nothing calls this directly
no test coverage detected