| 123456789101112131415161718192021222324252627282930313233 |
- /*global document */
- ( () => {
- const source = document.getElementsByClassName( 'prettyprint source linenums' );
- let i = 0;
- let lineNumber = 0;
- let lineId;
- let lines;
- let totalLines;
- let anchorHash;
- if ( source && source[ 0 ] ) {
- anchorHash = document.location.hash.substring( 1 );
- lines = source[ 0 ].getElementsByTagName( 'li' );
- totalLines = lines.length;
- for ( ; i < totalLines; i ++ ) {
- lineNumber ++;
- lineId = `line${lineNumber}`;
- lines[ i ].id = lineId;
- if ( lineId === anchorHash ) {
- lines[ i ].className += ' selected';
- }
- }
- }
- } )();
|