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