Source: /media/editors/codemirror/js/codemirror-uncompressed.js - 590 lines - 22612 bytes - Summary - Text - Print

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