Priviliged users can now add tags. Also, some minor cleanups in JS.

[redakcja.git] / platforma / static / js / lib / codemirror / tokenize.js

diff --git a/platforma/static/js/lib/codemirror/tokenize.js b/platforma/static/js/lib/codemirror/tokenize.js
index 071970c..b0c9545 100644 (file)
--- a/platforma/static/js/lib/codemirror/tokenize.js
+++ b/platforma/static/js/lib/codemirror/tokenize.js
@@ -43,7 +43,7 @@ function tokenizer(source, state) {
         source.next();
         return this.take("whitespace");
       }
-      
+
       if (source.applies(isWhiteSpace))
         type = "whitespace";
       else