739 |
} |
} |
740 |
bufferOut.append("<a name=\"line."); |
bufferOut.append("<a name=\"line."); |
741 |
bufferOut.append(codeLineNumber); |
bufferOut.append(codeLineNumber); |
742 |
bufferOut.append("\"/>"); |
bufferOut.append("\">"); |
743 |
|
|
744 |
if (hasLineNumbers) |
if (hasLineNumbers) |
745 |
{ |
{ |
811 |
} |
} |
812 |
} |
} |
813 |
isNewLine = false; |
isNewLine = false; |
814 |
|
|
815 |
|
bufferOut.append("</a>"); |
816 |
} |
} |
817 |
// a state machine |
// a state machine |
818 |
presentChar = bufferIn.charAt(presentIndex); |
presentChar = bufferIn.charAt(presentIndex); |