project/templates/explorer/panels/xmleditor.html

   1 <div class="panel">
   2     <textarea name="text" width="480px"><ala><ma></ma></ala></textarea>
   3 </div>
   4 <script type="text/javascript" charset="utf-8">
   5     panel(function(event, panel) {
   6         console.log('loading panel', panel);
   7         var textareaId = 'xmleditor-' + Math.ceil(Math.random() * 1000000000);
   8         $('textarea', panel).attr('id', textareaId);
   9         var editor = CodeMirror.fromTextArea(textareaId, {
  10             parserfile: 'parsexml.js',
  11             path: "/static/js/codemirror/",
  12             stylesheet: "/static/css/xmlcolors.css",
  13             parserConfig: {useHTMLKludges: false},
  14             initCallback: function() {}
  15         })
  16     }, function(event, panel) {
  17         console.log('unloaded panel', panel);
  18     })
  19 </script>