Searched refs:getLineAsHTML (Results 1 – 3 of 3) sorted by relevance
1443 this.SourceText.getLineAsHTML=function(lineNo){return escapeForSourceLine(this.lines[lineNo-1]) function
6095 this.SourceText.getLineAsHTML = function(lineNo) function
1454 this.SourceText.getLineAsHTML=function(lineNo){return escapeForSourceLine(this.lines[lineNo-1]) function