nl_tokens: / * Helper function to make sure the line numbers are always kept up to the current system
pl_tokens: function ( codeLines , h , lineNo ) { while ( ( codeLines . height ( ) - h ) <= 0 ) { if ( lineNo == opts . selectedLine ) codeLines . append ( "<div class='lineno lineselect'>" + lineNo + "</div>" ) ; else codeLines . <mask> ( "<div class='lineno'>" + lineNo + "</div>" ) ; lineNo ++ ; } return lineNo ; }