Show More
@@ -22,6 +22,11 b" document.addEventListener('DOMContentLoa" | |||||
22 | sourcelines.children, |
|
22 | sourcelines.children, | |
23 | function(x) { return x.tagName === 'SPAN' }); |
|
23 | function(x) { return x.tagName === 'SPAN' }); | |
24 |
|
24 | |||
|
25 | // add a "followlines-select" class to change cursor type in CSS | |||
|
26 | for (var i = 0; i < spans.length; i++) { | |||
|
27 | spans[i].classList.add('followlines-select'); | |||
|
28 | } | |||
|
29 | ||||
25 | var lineSelectedCSSClass = 'followlines-selected'; |
|
30 | var lineSelectedCSSClass = 'followlines-selected'; | |
26 |
|
31 | |||
27 | //** add CSS class on <span> element in `from`-`to` line range */ |
|
32 | //** add CSS class on <span> element in `from`-`to` line range */ |
@@ -280,7 +280,7 b' td.annotate:hover div.annotate-info { di' | |||||
280 | background-color: #bfdfff; |
|
280 | background-color: #bfdfff; | |
281 | } |
|
281 | } | |
282 |
|
282 | |||
283 | div.overflow pre.sourcelines > span:hover { |
|
283 | div.overflow pre.sourcelines > span.followlines-select:hover { | |
284 | cursor: cell; |
|
284 | cursor: cell; | |
285 | } |
|
285 | } | |
286 |
|
286 |
General Comments 0
You need to be logged in to leave comments.
Login now