equal
deleted
inserted
replaced
19 |
19 |
20 // retrieve all direct <span> children of <pre class="sourcelines"> |
20 // retrieve all direct <span> children of <pre class="sourcelines"> |
21 var spans = Array.prototype.filter.call( |
21 var spans = Array.prototype.filter.call( |
22 sourcelines.children, |
22 sourcelines.children, |
23 function(x) { return x.tagName === 'SPAN' }); |
23 function(x) { return x.tagName === 'SPAN' }); |
|
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 } |
24 |
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 */ |
28 function addSelectedCSSClass(from, to) { |
33 function addSelectedCSSClass(from, to) { |