| ... | ... | @@ -2476,7 +2476,7 @@ var zigAnalysis; |
| 2476 | 2476 | short = markdown(short); |
| 2477 | 2477 | var long = markdown(docs); |
| 2478 | 2478 | tdDesc.innerHTML = |
| 2479 | | "<details><summary><div class=\"sum-less\">" + short + "</div>" + "<div class=\"sum-more\">" + long + "</div></summary></details>"; |
| 2479 | "<details ontoggle=\"scrollOnCollapse(event);\"><summary><div class=\"sum-less\">" + short + "</div>" + "<div class=\"sum-more\">" + long + "</div></summary></details>"; |
| 2480 | 2480 | } |
| 2481 | 2481 | else { |
| 2482 | 2482 | tdDesc.innerHTML = markdown(short); |
| ... | ... | @@ -3718,5 +3718,12 @@ var zigAnalysis; |
| 3718 | 3718 | |
| 3719 | 3719 | })(); |
| 3720 | 3720 | |
| 3721 | | |
| 3722 | | |
| 3721 | function scrollOnCollapse(event) { |
| 3722 | const details = event.target; |
| 3723 | if (!details.open && details.getBoundingClientRect().top < 0) { |
| 3724 | console.log("scrolling!") |
| 3725 | details.parentElement.parentElement.scrollIntoView(true); |
| 3726 | } else { |
| 3727 | console.log("not scrolling!", details.open, details.top); |
| 3728 | } |
| 3729 | } |
| | \ No newline at end of file |
Loris Cro <kappaloris@gmail.com> 2023-01-11 18:14:56+01:00
lib