| Index: samples/third_party/codemirror/js/parsexml.js
|
| ===================================================================
|
| --- samples/third_party/codemirror/js/parsexml.js (revision 55159)
|
| +++ samples/third_party/codemirror/js/parsexml.js (working copy)
|
| @@ -135,7 +135,7 @@
|
| 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]);
|
| @@ -267,7 +267,7 @@
|
| copy: function(){
|
| var _cc = cc.concat([]), _tokenState = tokens.state, _context = context;
|
| var parser = this;
|
| -
|
| +
|
| return function(input){
|
| cc = _cc.concat([]);
|
| tokenNr = indented = 0;
|
|
|