Comments
Patch
@@ -22,6 +22,11 @@ document.addEventListener('DOMContentLoa
sourcelines.children,
function(x) { return x.tagName === 'SPAN' });
+ // add a "followlines-select" class to change cursor type in CSS
+ for (var i = 0; i < spans.length; i++) {
+ spans[i].classList.add('followlines-select');
+ }
+
var lineSelectedCSSClass = 'followlines-selected';
//** add CSS class on <span> element in `from`-`to` line range */
@@ -280,7 +280,7 @@ td.annotate:hover div.annotate-info { di
background-color: #bfdfff;
}
-div.overflow pre.sourcelines > span:hover {
+div.overflow pre.sourcelines > span.followlines-select:hover {
cursor: cell;
}