FontSizer.injectStylesIntoDocument(doc);
FontSizer.applyNormalFontSize(div);
new ExternalJavaScriptLoader(doc, AceResources.INSTANCE.acejs().getSafeUri().asString())
.addCallback(new Callback()
{
public void onLoaded()
{
new ExternalJavaScriptLoader(doc, AceResources.INSTANCE.acesupportjs().getSafeUri().asString())
.addCallback(new Callback()
{
public void onLoaded()
{
body.appendChild(doc.createScriptElement(
"var editor = ace.edit('editor');\n" +