Some changes that somehow got lost on my file system.

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

diff --git a/platforma/static/js/lib/codemirror/parsexml.js b/platforma/static/js/lib/codemirror/parsexml.js
index 95a8099..87fbf0c 100644 (file)
--- a/platforma/static/js/lib/codemirror/parsexml.js
+++ b/platforma/static/js/lib/codemirror/parsexml.js
@@ -130,7 +130,7 @@ var XMLParser = Editor.Parser = (function() {
     var tokenNr = 0, indented = 0;
     var currentTag = null, context = null;
     var consume, marked;
     var tokenNr = 0, indented = 0;
     var currentTag = null, context = null;
     var consume, marked;

-    
+

     function push(fs) {
       for (var i = fs.length - 1; i >= 0; i--)
         cc.push(fs[i]);
     function push(fs) {
       for (var i = fs.length - 1; i >= 0; i--)
         cc.push(fs[i]);


@@ -267,7 +267,7 @@ var XMLParser = Editor.Parser = (function() {
       copy: function(){
         var _cc = cc.concat([]), _tokenState = tokens.state, _context = context;
         var parser = this;
       copy: function(){
         var _cc = cc.concat([]), _tokenState = tokens.state, _context = context;
         var parser = this;

-        
+

         return function(input){
           cc = _cc.concat([]);
           tokenNr = indented = 0;
         return function(input){
           cc = _cc.concat([]);
           tokenNr = indented = 0;