Some changes that somehow got lost on my file system.

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

diff --git a/platforma/static/js/lib/codemirror/editor.js b/platforma/static/js/lib/codemirror/editor.js
index 47d8412..f5fe841 100644 (file)
--- a/platforma/static/js/lib/codemirror/editor.js
+++ b/platforma/static/js/lib/codemirror/editor.js
@@ -1152,7 +1152,7 @@ var Editor = (function(){
       }
       // Create a part corresponding to a given token.
       function tokenPart(token){
       }
       // Create a part corresponding to a given token.
       function tokenPart(token){

-        var part = makePartSpan(token.value, self.doc);     
+        var part = makePartSpan(token.value, self.doc);

         part.className = token.style;
         return part;
       }
         part.className = token.style;
         return part;
       }