public/javascripts/codemirror/js/editor.js
function() {
      // Timeouts are routed through the parent window, because on
      // some browsers designMode windows do not fire timeouts.
      var self = this;
      this.parent.clearTimeout(this.highlightTimeout);
      this.highlightTimeout = this.parent.setTimeout(function(){self.highlightDirty();}, this.options.passDelay);
    }
function() {
      // Timeouts are routed through the parent window, because on
      // some browsers designMode windows do not fire timeouts.
      var self = this;
      this.parent.clearTimeout(this.highlightTimeout);
      this.highlightTimeout = this.parent.setTimeout(function(){self.highlightDirty();}, this.options.passDelay);
    }
function ( ) { // Timeouts are routed through the parent window, because on // some browsers designMode windows do not fire timeouts. var self = this ; this . parent . clearTimeout ( this . highlightTimeout ) ; this . highlightTimeout = this . parent . setTimeout ( function ( ) { self . highlightDirty ( ) ; } , this . options . passDelay ) ; }
Cause a highlight pass to happen in options.passDelay milliseconds. Clear the existing timeout, if one exists. This way, the passes do not happen while the user is typing, and should as unobtrusive as possible.
Cause a highlight pass to happen in options . passDelay milliseconds . Clear the existing timeout if one exists . This way the passes do not happen while the user is typing and should as unobtrusive as possible .