public/javascripts/codemirror/js/editor.js
function() {
      if (this.scanner) {
        this.parent.clearTimeout(this.documentScan);
        this.documentScan = this.parent.setTimeout(this.scanner, this.options.continuousScanning);
      }
    }
function() {
      if (this.scanner) {
        this.parent.clearTimeout(this.documentScan);
        this.documentScan = this.parent.setTimeout(this.scanner, this.options.continuousScanning);
      }
    }
function ( ) { if ( this . scanner ) { this . parent . clearTimeout ( this . documentScan ) ; this . documentScan = this . parent . setTimeout ( this . scanner , this . options . continuousScanning ) ; } }
Starts the continuous scanning process for this document after a given interval.
Starts the continuous scanning process for this document after a given interval .