String script_end = new String("');");
browser.page().mainFrame().evaluateJavaScript(
script_start + buffer + script_end);
} else {
HtmlTagModifier modifier = new HtmlTagModifier(getContent());
modifier.modifyLatexTagHash(newRes);
String newContent = modifier.getHtml();
setContent(new QByteArray(newContent));
}
logger.log(logger.EXTREME, "New HTML set\n" +browser.page().currentFrame().toHtml());