Searched refs:scrollToLine (Results 1 – 1 of 1) sorted by relevance
7314 if(lineNo){this.scrollToLine(lineNo,this.jumpHighlightFactory(lineNo,this.context))7609 },scrollToLine:function(line,offset){this.startMeasuring(this.input); method