Lines Matching refs:hl
7696 …(index){if(this.sourceIndex!=index){var renderProcess=function renderProcess(src){var html=[],hl=0;
7701 html[hl++]='<div><div class="sourceBox" style="left:';
7702 html[hl++]=35+7*(lines+"").length;
7703 html[hl++]='px;"><pre class="sourceCode">';
7704 html[hl++]=escapeHTML(src);
7705 html[hl++]='</pre></div><div class="lineNo">';
7708 l++){html[hl++]='<div line="';
7709 html[hl++]=l;
7710 html[hl++]='">';
7711 html[hl++]=l;
7712 html[hl++]="</div>"
7713 }html[hl++]="</div></div>";