code: function(){
  			if(this._overviewRuler){
  				var drawLine = this.editorWrapper[0].editor.getTextView().getTopIndex() ;
  				this.editorWrapper[0].editor.getTextView().redrawLines(drawLine , drawLine+  1 , this._overviewRuler);
  			}
  		}
docs: /* Navigation APIs