#if 0
res.normalize();
DOM::Node c = res.get_firstChild();
- if (c) cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << endl;
+ if (c) std::cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << std::endl;
#endif
data->texStyle.save(res, stdout);
}
{
assert(context != NULL);
GUI_freeze();
- cout << "*** SENDING " << ch << endl;
+ std::cout << "*** SENDING " << ch << std::endl;
context->lexer.push(ch);
GUI_thaw();
}
GUI_thaw();
}
-void
+int
main(int argc, char* argv[])
{
CLoggerConsole logger;
TDictionary dictionary(logger);
logger.info("loading the dictionary...");
- dictionary.load("./dictionary-test.xml");
+ dictionary.load("/usr/share/editex/dictionary-tex.xml");
logger.info("loading the stylesheet...");
DOM::DOMImplementation di;
DOM::Document texStyleDoc = di.createDocumentFromURI("./xsl/tml-texid.xsl");
DOMX::XSLTStylesheet texStyle(texStyleDoc);
- CMathMLFactoryXSLT factory(logger, mmlStyle);
+ CMathMLFactoryXSLTDiff factory(logger, mmlStyle);
TPushParser parser(logger, factory, dictionary);
ILPushLexer lexer(logger, parser, dictionary);
GUI_run();
GUI_uninit();
GUI_unload_document();
+
}