+(function() {
+ function xmleditor_onload(event, me) {
+ console.log('loading: ', me);
+ var textareaId = 'xmleditor-' + Math.ceil(Math.random() * 1000000000);
+ $('textarea', me).attr('id', textareaId);
+ var editor = CodeMirror.fromTextArea(textareaId, {
+ parserfile: 'parsexml.js',
+ path: "/static/js/codemirror/",
+ stylesheet: "/static/css/xmlcolors.css",
+ parserConfig: {useHTMLKludges: false},
+ })
+ console.log('Frame is: ', editor.frame);
+ var frame = $(editor.frame)
+ frame.css({width: '100%', height: '100%'});
+ };
+
+ function xmleditor_onunload(event, me) {}
+
+ panel(xmleditor_onload, xmleditor_onunload);
+})();
+</script>
+
+<!-- <script type="text/javascript" charset="utf-8">