update librarian
[redakcja.git] / redakcja / static / js / lib / codemirror-0.8 / codemirror.js
1 /* CodeMirror main module
2  *
3  * Implements the CodeMirror constructor and prototype, which take care
4  * of initializing the editor frame, and providing the outside interface.
5  */
6
7 // The CodeMirrorConfig object is used to specify a default
8 // configuration. If you specify such an object before loading this
9 // file, the values you put into it will override the defaults given
10 // below. You can also assign to it after loading.
11 var CodeMirrorConfig = window.CodeMirrorConfig || {};
12
13 var CodeMirror = (function(){
14   function setDefaults(object, defaults) {
15     for (var option in defaults) {
16       if (!object.hasOwnProperty(option))
17         object[option] = defaults[option];
18     }
19   }
20   function forEach(array, action) {
21     for (var i = 0; i < array.length; i++)
22       action(array[i]);
23   }
24
25   // These default options can be overridden by passing a set of
26   // options to a specific CodeMirror constructor. See manual.html for
27   // their meaning.
28   setDefaults(CodeMirrorConfig, {
29     stylesheet: [],
30     path: "",
31     parserfile: [],
32     basefiles: ["util.js", "stringstream.js", "select.js", "undo.js", "editor.js", "tokenize.js"],
33     iframeClass: null,
34     passDelay: 200,
35     passTime: 50,
36     lineNumberDelay: 200,
37     lineNumberTime: 50,
38     continuousScanning: false,
39     saveFunction: null,
40     onChange: null,
41     undoDepth: 50,
42     undoDelay: 800,
43     disableSpellcheck: true,
44     textWrapping: true,
45     readOnly: false,
46     width: "",
47     height: "300px",
48     minHeight: 100,
49     autoMatchParens: false,
50     parserConfig: null,
51     tabMode: "indent", // or "spaces", "default", "shift"
52     reindentOnLoad: false,
53     activeTokens: null,
54     cursorActivity: null,
55     lineNumbers: false,
56     indentUnit: 2,
57     domain: null
58   });
59
60   function addLineNumberDiv(container) {
61     var nums = document.createElement("DIV"),
62         scroller = document.createElement("DIV");
63     nums.style.position = "absolute";
64     nums.style.height = "100%";
65     if (nums.style.setExpression) {
66       try {nums.style.setExpression("height", "this.previousSibling.offsetHeight + 'px'");}
67       catch(e) {} // Seems to throw 'Not Implemented' on some IE8 versions
68     }
69     nums.style.top = "0px";
70     nums.style.left = "0px";
71     nums.style.overflow = "hidden";
72     container.appendChild(nums);
73     scroller.className = "CodeMirror-line-numbers";
74     nums.appendChild(scroller);
75     scroller.innerHTML = "<div>1</div>";
76     return nums;
77   }
78
79   function frameHTML(options) {
80     if (typeof options.parserfile == "string")
81       options.parserfile = [options.parserfile];
82     if (typeof options.stylesheet == "string")
83       options.stylesheet = [options.stylesheet];
84
85     var html = ["<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\"><html><head>"];
86     // Hack to work around a bunch of IE8-specific problems.
87     html.push("<meta http-equiv=\"X-UA-Compatible\" content=\"IE=EmulateIE7\"/>");
88     forEach(options.stylesheet, function(file) {
89       html.push("<link rel=\"stylesheet\" type=\"text/css\" href=\"" + file + "\"/>");
90     });
91     forEach(options.basefiles.concat(options.parserfile), function(file) {
92       if (!/^https?:/.test(file)) file = options.path + file;
93       html.push("<script type=\"text/javascript\" src=\"" + file + "\"><" + "/script>");
94     });
95     html.push("</head><body style=\"border-width: 0;\" class=\"editbox\" spellcheck=\"" +
96               (options.disableSpellcheck ? "false" : "true") + "\"></body></html>");
97     return html.join("");
98   }
99
100   var internetExplorer = document.selection && window.ActiveXObject && /MSIE/.test(navigator.userAgent);
101
102   function CodeMirror(place, options) {
103     // Use passed options, if any, to override defaults.
104     this.options = options = options || {};
105     setDefaults(options, CodeMirrorConfig);
106
107     // Backward compatibility for deprecated options.
108     if (options.dumbTabs) options.tabMode = "spaces";
109     else if (options.normalTab) options.tabMode = "default";
110
111     var frame = this.frame = document.createElement("IFRAME");
112     if (options.iframeClass) frame.className = options.iframeClass;
113     frame.frameBorder = 0;
114     frame.style.border = "0";
115     frame.style.width = '100%';
116     frame.style.height = '100%';
117     // display: block occasionally suppresses some Firefox bugs, so we
118     // always add it, redundant as it sounds.
119     frame.style.display = "block";
120
121     var div = this.wrapping = document.createElement("DIV");
122     div.style.position = "relative";
123     div.className = "CodeMirror-wrapping";
124     div.style.width = options.width;
125     div.style.height = (options.height == "dynamic") ? options.minHeight + "px" : options.height;
126     // This is used by Editor.reroutePasteEvent
127     var teHack = this.textareaHack = document.createElement("TEXTAREA");
128     div.appendChild(teHack);
129     teHack.style.position = "absolute";
130     teHack.style.left = "-10000px";
131     teHack.style.width = "10px";
132
133     // Link back to this object, so that the editor can fetch options
134     // and add a reference to itself.
135     frame.CodeMirror = this;
136     if (options.domain && internetExplorer) {
137       this.html = frameHTML(options);
138       frame.src = "javascript:(function(){document.open();" +
139         (options.domain ? "document.domain=\"" + options.domain + "\";" : "") +
140         "document.write(window.frameElement.CodeMirror.html);document.close();})()";
141     }
142     else {
143       frame.src = "javascript:false";
144     }
145
146     if (place.appendChild) place.appendChild(div);
147     else place(div);
148     div.appendChild(frame);
149     if (options.lineNumbers) this.lineNumbers = addLineNumberDiv(div);
150
151     this.win = frame.contentWindow;
152     if (!options.domain || !internetExplorer) {
153       this.win.document.open();
154       this.win.document.write(frameHTML(options));
155       this.win.document.close();
156     }
157   }
158
159   CodeMirror.prototype = {
160     init: function() {
161       if (this.options.initCallback) this.options.initCallback(this);
162       if (this.options.lineNumbers) this.activateLineNumbers();
163       if (this.options.reindentOnLoad) this.reindent();
164       if (this.options.height == "dynamic") this.setDynamicHeight();
165     },
166
167     getCode: function() {return this.editor.getCode();},
168     setCode: function(code) {this.editor.importCode(code);},
169     selection: function() {this.focusIfIE(); return this.editor.selectedText();},
170     reindent: function() {this.editor.reindent();},
171     reindentSelection: function() {this.focusIfIE(); this.editor.reindentSelection(null);},
172
173     focusIfIE: function() {
174       // in IE, a lot of selection-related functionality only works when the frame is focused
175       if (this.win.select.ie_selection) this.focus();
176     },
177     focus: function() {
178       this.win.focus();
179       if (this.editor.selectionSnapshot) // IE hack
180         this.win.select.setBookmark(this.win.document.body, this.editor.selectionSnapshot);
181     },
182     replaceSelection: function(text) {
183       this.focus();
184       this.editor.replaceSelection(text);
185       return true;
186     },
187     replaceChars: function(text, start, end) {
188       this.editor.replaceChars(text, start, end);
189     },
190     getSearchCursor: function(string, fromCursor, caseFold) {
191       return this.editor.getSearchCursor(string, fromCursor, caseFold);
192     },
193
194     undo: function() {this.editor.history.undo();},
195     redo: function() {this.editor.history.redo();},
196     historySize: function() {return this.editor.history.historySize();},
197     clearHistory: function() {this.editor.history.clear();},
198
199     grabKeys: function(callback, filter) {this.editor.grabKeys(callback, filter);},
200     ungrabKeys: function() {this.editor.ungrabKeys();},
201
202     setParser: function(name, parserConfig) {this.editor.setParser(name, parserConfig);},
203     setSpellcheck: function(on) {this.win.document.body.spellcheck = on;},
204     setStylesheet: function(names) {
205       if (typeof names === "string") names = [names];
206       var activeStylesheets = {};
207       var matchedNames = {};
208       var links = this.win.document.getElementsByTagName("link");
209       // Create hashes of active stylesheets and matched names.
210       // This is O(n^2) but n is expected to be very small.
211       for (var x = 0, link; link = links[x]; x++) {
212         if (link.rel.indexOf("stylesheet") !== -1) {
213           for (var y = 0; y < names.length; y++) {
214             var name = names[y];
215             if (link.href.substring(link.href.length - name.length) === name) {
216               activeStylesheets[link.href] = true;
217               matchedNames[name] = true;
218             }
219           }
220         }
221       }
222       // Activate the selected stylesheets and disable the rest.
223       for (var x = 0, link; link = links[x]; x++) {
224         if (link.rel.indexOf("stylesheet") !== -1) {
225           link.disabled = !(link.href in activeStylesheets);
226         }
227       }
228       // Create any new stylesheets.
229       for (var y = 0; y < names.length; y++) {
230         var name = names[y];
231         if (!(name in matchedNames)) {
232           var link = this.win.document.createElement("link");
233           link.rel = "stylesheet";
234           link.type = "text/css";
235           link.href = name;
236           this.win.document.getElementsByTagName('head')[0].appendChild(link);
237         }
238       }
239     },
240     setTextWrapping: function(on) {
241       if (on == this.options.textWrapping) return;
242       this.win.document.body.style.whiteSpace = on ? "" : "nowrap";
243       this.options.textWrapping = on;
244       if (this.lineNumbers) {
245         this.setLineNumbers(false);
246         this.setLineNumbers(true);
247       }
248     },
249     setIndentUnit: function(unit) {this.win.indentUnit = unit;},
250     setUndoDepth: function(depth) {this.editor.history.maxDepth = depth;},
251     setTabMode: function(mode) {this.options.tabMode = mode;},
252     setLineNumbers: function(on) {
253       if (on && !this.lineNumbers) {
254         this.lineNumbers = addLineNumberDiv(this.wrapping);
255         this.activateLineNumbers();
256       }
257       else if (!on && this.lineNumbers) {
258         this.wrapping.removeChild(this.lineNumbers);
259         this.wrapping.style.marginLeft = "";
260         this.lineNumbers = null;
261       }
262     },
263
264     cursorPosition: function(start) {this.focusIfIE(); return this.editor.cursorPosition(start);},
265     firstLine: function() {return this.editor.firstLine();},
266     lastLine: function() {return this.editor.lastLine();},
267     nextLine: function(line) {return this.editor.nextLine(line);},
268     prevLine: function(line) {return this.editor.prevLine(line);},
269     lineContent: function(line) {return this.editor.lineContent(line);},
270     setLineContent: function(line, content) {this.editor.setLineContent(line, content);},
271     removeLine: function(line){this.editor.removeLine(line);},
272     insertIntoLine: function(line, position, content) {this.editor.insertIntoLine(line, position, content);},
273     selectLines: function(startLine, startOffset, endLine, endOffset) {
274       this.win.focus();
275       this.editor.selectLines(startLine, startOffset, endLine, endOffset);
276     },
277     nthLine: function(n) {
278       var line = this.firstLine();
279       for (; n > 1 && line !== false; n--)
280         line = this.nextLine(line);
281       return line;
282     },
283     lineNumber: function(line) {
284       var num = 0;
285       while (line !== false) {
286         num++;
287         line = this.prevLine(line);
288       }
289       return num;
290     },
291     jumpToLine: function(line) {
292       if (typeof line == "number") line = this.nthLine(line);
293       this.selectLines(line, 0);
294       this.win.focus();
295     },
296     currentLine: function() { // Deprecated, but still there for backward compatibility
297       return this.lineNumber(this.cursorLine());
298     },
299     cursorLine: function() {
300       return this.cursorPosition().line;
301     },
302     cursorCoords: function(start) {return this.editor.cursorCoords(start);},
303
304     activateLineNumbers: function() {
305       var frame = this.frame, win = frame.contentWindow, doc = win.document, body = doc.body,
306           nums = this.lineNumbers, scroller = nums.firstChild, self = this;
307       var barWidth = null;
308
309       function sizeBar() {
310         if (frame.offsetWidth == 0) return;
311         for (var root = frame; root.parentNode; root = root.parentNode);
312         if (!nums.parentNode || root != document || !win.Editor) {
313           // Clear event handlers (their nodes might already be collected, so try/catch)
314           try{clear();}catch(e){}
315           clearInterval(sizeInterval);
316           return;
317         }
318
319         /*if (nums.offsetWidth != barWidth) {
320           barWidth = nums.offsetWidth;
321           frame.parentNode.style.paddingLeft = barWidth + "px";
322         }*/
323       }
324       function doScroll() {
325         nums.scrollTop = body.scrollTop || doc.documentElement.scrollTop || 0;
326       }
327       // Cleanup function, registered by nonWrapping and wrapping.
328       var clear = function(){};
329       sizeBar();
330       var sizeInterval = setInterval(sizeBar, 500);
331
332       function ensureEnoughLineNumbers(fill) {
333         var lineHeight = scroller.firstChild.offsetHeight;
334         if (lineHeight == 0) return;
335         var targetHeight = 50 + Math.max(body.offsetHeight, Math.max(frame.offsetHeight, body.scrollHeight || 0)),
336             lastNumber = Math.ceil(targetHeight / lineHeight);
337         for (var i = scroller.childNodes.length; i <= lastNumber; i++) {
338           var div = document.createElement("DIV");
339           div.appendChild(document.createTextNode(fill ? String(i + 1) : "\u00a0"));
340           scroller.appendChild(div);
341         }
342       }
343
344       function nonWrapping() {
345         function update() {
346           ensureEnoughLineNumbers(true);
347           doScroll();
348         }
349         self.updateNumbers = update;
350         var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
351             onResize = win.addEventHandler(win, "resize", update, true);
352         clear = function(){
353           onScroll(); onResize();
354           if (self.updateNumbers == update) self.updateNumbers = null;
355         };
356         update();
357       }
358
359       function wrapping() {
360         var node, lineNum, next, pos, changes = [], styleNums = self.options.styleNumbers;
361
362         function setNum(n, node) {
363           // Does not typically happen (but can, if you mess with the
364           // document during the numbering)
365           if (!lineNum) lineNum = scroller.appendChild(document.createElement("DIV"));
366           if (styleNums) styleNums(lineNum, node, n);
367           // Changes are accumulated, so that the document layout
368           // doesn't have to be recomputed during the pass
369           changes.push(lineNum); changes.push(n);
370           pos = lineNum.offsetHeight + lineNum.offsetTop;
371           lineNum = lineNum.nextSibling;
372         }
373         function commitChanges() {
374           for (var i = 0; i < changes.length; i += 2)
375             changes[i].innerHTML = changes[i + 1];
376           changes = [];
377         }
378         function work() {
379           if (!scroller.parentNode || scroller.parentNode != self.lineNumbers) return;
380
381           var endTime = new Date().getTime() + self.options.lineNumberTime;
382           while (node) {
383             setNum(next++, node.previousSibling);
384             for (; node && !win.isBR(node); node = node.nextSibling) {
385               var bott = node.offsetTop + node.offsetHeight;
386               while (scroller.offsetHeight && bott - 3 > pos) setNum("&nbsp;");
387             }
388             if (node) node = node.nextSibling;
389             if (new Date().getTime() > endTime) {
390               commitChanges();
391               pending = setTimeout(work, self.options.lineNumberDelay);
392               return;
393             }
394           }
395           while (lineNum) setNum(next++);
396           commitChanges();
397           doScroll();
398         }
399         function start(firstTime) {
400           doScroll();
401           ensureEnoughLineNumbers(firstTime);
402           node = body.firstChild;
403           lineNum = scroller.firstChild;
404           pos = 0;
405           next = 1;
406           work();
407         }
408
409         start(true);
410         var pending = null;
411         function update() {
412           if (pending) clearTimeout(pending);
413           if (self.editor.allClean()) start();
414           else pending = setTimeout(update, 200);
415         }
416         self.updateNumbers = update;
417         var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
418             onResize = win.addEventHandler(win, "resize", update, true);
419         clear = function(){
420           if (pending) clearTimeout(pending);
421           if (self.updateNumbers == update) self.updateNumbers = null;
422           onScroll();
423           onResize();
424         };
425       }
426       (this.options.textWrapping || this.options.styleNumbers ? wrapping : nonWrapping)();
427     },
428
429     setDynamicHeight: function() {
430       var self = this, activity = self.options.cursorActivity, win = self.win, body = win.document.body,
431           lineHeight = null, timeout = null, vmargin = 2 * self.frame.offsetTop;
432       body.style.overflowY = "hidden";
433       win.document.documentElement.style.overflowY = "hidden";
434       this.frame.scrolling = "no";
435
436       function updateHeight() {
437         for (var span = body.firstChild, sawBR = false; span; span = span.nextSibling)
438           if (win.isSpan(span) && span.offsetHeight) {
439             lineHeight = span.offsetHeight;
440             if (!sawBR) vmargin = 2 * (self.frame.offsetTop + span.offsetTop + body.offsetTop + (internetExplorer ? 10 : 0));
441             break;
442           }
443         if (lineHeight)
444           self.wrapping.style.height = Math.max(vmargin + lineHeight * (body.getElementsByTagName("BR").length + 1),
445                                                 self.options.minHeight) + "px";
446       }
447       setTimeout(updateHeight, 100);
448       self.options.cursorActivity = function(x) {
449         if (activity) activity(x);
450         clearTimeout(timeout);
451         timeout = setTimeout(updateHeight, 200);
452       };
453     }
454   };
455
456   CodeMirror.InvalidLineHandle = {toString: function(){return "CodeMirror.InvalidLineHandle";}};
457
458   CodeMirror.replace = function(element) {
459     if (typeof element == "string")
460       element = document.getElementById(element);
461     return function(newElement) {
462       element.parentNode.replaceChild(newElement, element);
463     };
464   };
465
466   CodeMirror.fromTextArea = function(area, options) {
467     if (typeof area == "string")
468       area = document.getElementById(area);
469
470     options = options || {};
471     if (area.style.width && options.width == null)
472       options.width = area.style.width;
473     if (area.style.height && options.height == null)
474       options.height = area.style.height;
475     if (options.content == null) options.content = area.value;
476
477     if (area.form) {
478       function updateField() {
479         area.value = mirror.getCode();
480       }
481       if (typeof area.form.addEventListener == "function")
482         area.form.addEventListener("submit", updateField, false);
483       else
484         area.form.attachEvent("onsubmit", updateField);
485       var realSubmit = area.form.submit;
486       function wrapSubmit() {
487         updateField();
488         // Can't use realSubmit.apply because IE6 is too stupid
489         area.form.submit = realSubmit;
490         area.form.submit();
491         area.form.submit = wrapSubmit;
492       }
493       area.form.submit = wrapSubmit;
494     }
495
496     function insert(frame) {
497       if (area.nextSibling)
498         area.parentNode.insertBefore(frame, area.nextSibling);
499       else
500         area.parentNode.appendChild(frame);
501     }
502
503     area.style.display = "none";
504     var mirror = new CodeMirror(insert, options);
505     mirror.toTextArea = function() {
506       area.parentNode.removeChild(mirror.wrapping);
507       area.style.display = "";
508       if (area.form) {
509         area.form.submit = realSubmit;
510         if (typeof area.form.removeEventListener == "function")
511           area.form.removeEventListener("submit", updateField, false);
512         else
513           area.form.detachEvent("onsubmit", updateField);
514       }
515     };
516
517     return mirror;
518   };
519
520   CodeMirror.isProbablySupported = function() {
521     // This is rather awful, but can be useful.
522     var match;
523     if (window.opera)
524       return Number(window.opera.version()) >= 9.52;
525     else if (/Apple Computers, Inc/.test(navigator.vendor) && (match = navigator.userAgent.match(/Version\/(\d+(?:\.\d+)?)\./)))
526       return Number(match[1]) >= 3;
527     else if (document.selection && window.ActiveXObject && (match = navigator.userAgent.match(/MSIE (\d+(?:\.\d*)?)\b/)))
528       return Number(match[1]) >= 6;
529     else if (match = navigator.userAgent.match(/gecko\/(\d{8})/i))
530       return Number(match[1]) >= 20050901;
531     else if (match = navigator.userAgent.match(/AppleWebKit\/(\d+)/))
532       return Number(match[1]) >= 525;
533     else
534       return null;
535   };
536
537   return CodeMirror;
538 })();