allow highlighting multiple lines

haarg · haarg · commit 84da4e302d41 · 2014-09-16T04:17:35.000-04:00
diff --git a/root/static/js/syntaxhighlighter.js b/root/static/js/syntaxhighlighter.js
@@ -65,7 +65,7 @@ $(function () {
         if (source.html().length > 500000) {
             source.children('code').removeClass();
         }
-        else if ( lineMatch = document.location.hash.match(/^#L(\d+)$/) ) {
+        else if ( lineMatch = document.location.hash.match(/^#L(\d+(-\d+)?(,\d+(-\d+)?)*)$/) ) {
             source.attr('data-line', lineMatch[1]);
         }
         // check for 'P{encoded_package_name}' anchor, convert to

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ $(function () {`
`65`	`65`	`if (source.html().length > 500000) {`
`66`	`66`	`source.children('code').removeClass();`
`67`	`67`	`}`
`68`		`- else if ( lineMatch = document.location.hash.match(/^#L(\d+)$/) ) {`
	`68`	`+ else if ( lineMatch = document.location.hash.match(/^#L(\d+(-\d+)?(,\d+(-\d+)?)*)$/) ) {`
`69`	`69`	`source.attr('data-line', lineMatch[1]);`
`70`	`70`	`}`
`71`	`71`	`// check for 'P{encoded_package_name}' anchor, convert to`