code: function() {
  			if (this.startLine !== Number.MAX_VALUE && this.endLine !== -1) {
  				this.dispatchEvent({
  					type: "Highlight",
  					start: this.startLine,
  					end: this.endLine
  				});
  			}
  			this.startLine = Number.MAX_VALUE;
  			this.endLine = -1;
  		}
docs: Called when some highlighting has been performed. Dispatches a {@link #event:HighlightEvent}.