linenumber.js 589 B

123456789101112131415161718192021222324252627282930313233
  1. /*global document */
  2. ( () => {
  3. const source = document.getElementsByClassName( 'prettyprint source linenums' );
  4. let i = 0;
  5. let lineNumber = 0;
  6. let lineId;
  7. let lines;
  8. let totalLines;
  9. let anchorHash;
  10. if ( source && source[ 0 ] ) {
  11. anchorHash = document.location.hash.substring( 1 );
  12. lines = source[ 0 ].getElementsByTagName( 'li' );
  13. totalLines = lines.length;
  14. for ( ; i < totalLines; i ++ ) {
  15. lineNumber ++;
  16. lineId = `line${lineNumber}`;
  17. lines[ i ].id = lineId;
  18. if ( lineId === anchorHash ) {
  19. lines[ i ].className += ' selected';
  20. }
  21. }
  22. }
  23. } )();
粤ICP备19079148号