Usunięcie nieużywanych już paneli.

[redakcja.git] / project / templates / explorer / panels / xmleditor.html

diff --git a/project/templates/explorer/panels/xmleditor.html b/project/templates/explorer/panels/xmleditor.html
deleted file mode 100644 (file)
index 6bdcc30..0000000
--- a/project/templates/explorer/panels/xmleditor.html
+++ /dev/null
@@ -1,19 +0,0 @@
-<div class="panel">
-    <textarea name="text" width="480px"><ala><ma></ma></ala></textarea>
-</div>
-<script type="text/javascript" charset="utf-8">
-    panel(function(event, panel) {
-        console.log('loading panel', panel);
-        var textareaId = 'xmleditor-' + Math.ceil(Math.random() * 1000000000);
-        $('textarea', panel).attr('id', textareaId);
-        var editor = CodeMirror.fromTextArea(textareaId, {
-            parserfile: 'parsexml.js',
-            path: "/static/js/codemirror/",
-            stylesheet: "/static/css/xmlcolors.css",
-            parserConfig: {useHTMLKludges: false},
-            initCallback: function() {}
-        })
-    }, function(event, panel) {
-        console.log('unloaded panel', panel);
-    })
-</script>