diff --git a/frontend/src/mathjax-explanation.ts b/frontend/src/mathjax-explanation.ts index f8d7e81..95b45c3 100644 --- a/frontend/src/mathjax-explanation.ts +++ b/frontend/src/mathjax-explanation.ts @@ -41,19 +41,11 @@ class MathjaxExplanation extends MathjaxAdapter { if (el) { this.lastStepShown = n; // scroll to element if needed - /* TODO: this works, but Vaadin still resets the scroll position when updating the unification text... const hostEl = this.shadowRoot!.host as HTMLElement; const dy = el.offsetTop - hostEl.offsetTop - hostEl.scrollTop; if (dy > hostEl.offsetHeight || dy < 0) { - console.log("doing it!"); - console.log(dy); - console.log(hostEl.scrollTop); - console.log(hostEl.offsetTop); - console.log(el.offsetTop); - console.log("scrolling by " + (-hostEl.scrollTop + el.offsetTop - hostEl.offsetTop)); hostEl.scrollBy(0, -hostEl.scrollTop + el.offsetTop - hostEl.offsetTop); } - */ el.style.opacity = "1.0"; } }