super.gwtSetUp();
if (!codeMirrorIsLoaded()) {
Resources resources = GWT.create(Resources.class);
String js = CodeMirror2.getJs(resources);
JsDocument jsDocument = JsBrowser.getDocument();
Element scriptElem = jsDocument.createElement("script");
scriptElem.setId(INJECTED_CODE_MIRROR_JS);
scriptElem.setAttribute("language", "javascript");
scriptElem.setTextContent(js);
jsDocument.getBody().appendChild(scriptElem);
}
}