code: function(start, end) {
  			if (this._redrawCount > 0) { return; }
  			var model = this._model;
  			if (start === undefined) { start = 0; }
  			if (end === undefined) { end = model.getCharCount(); }
  			var startLine = model.getLineAtOffset(start);
  			var endLine = model.getLineAtOffset(Math.max(start, end - 1)) + 1;
  			this.redrawLines(startLine, endLine);
  		}
docs: Redraws the text in the given range.
  <p>
  The character at the end offset is not redrawn.
  </p>
  
  @param {Number} [start=0] the start offset of text range
  @param {Number} [end=char count] the end offset of text range
  
  @see orion.editor.TextView#redraw
  @see orion.editor.TextView#redrawLines
  @see orion.editor.TextView#setRedraw