Serwis powinien już działać bez Firebuga.

[redakcja.git] / platforma / static / js / main.js

diff --git a/platforma/static/js/main.js b/platforma/static/js/main.js
index ddbe756..c88f293 100644 (file)
--- a/platforma/static/js/main.js
+++ b/platforma/static/js/main.js
@@ -1,5 +1,5 @@
-if (!console) {
-    console = {
+if (!window.console) {
+    window.console = {

         log: function() {}
     }
 }
         log: function() {}
     }
 }


@@ -361,8 +361,8 @@ $(function() {
     
     CodeMirror.fromTextArea('id_text', {
         parserfile: 'parsexml.js',
     
     CodeMirror.fromTextArea('id_text', {
         parserfile: 'parsexml.js',

-        path: "/static/js/lib/codemirror/",
-        stylesheet: "/static/css/xmlcolors.css",
+        path: STATIC_URL + "js/lib/codemirror/",
+        stylesheet: STATIC_URL + "css/xmlcolors.css",

         parserConfig: {
             useHTMLKludges: false
         },
         parserConfig: {
             useHTMLKludges: false
         },