| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990 |
- /**
- * This class is copied from Microsoft/vscode repository
- * @see https://github.com/Microsoft/vscode/blob/0532a3429a18688a0c086a4212e7e5b4888b2a48/extensions/markdown/media/main.js
- */
- class ScrollSyncHelper {
- /**
- * @typedef {{ element: Element, line: number }} CodeLineElement
- */
- constructor() {
- }
- getCodeLineElements(parentElement) {
- /** @type {CodeLineElement[]} */
- let elements;
- if (!elements) {
- elements = Array.prototype.map.call(
- parentElement.getElementsByClassName('code-line'),
- element => {
- const line = +element.getAttribute('data-line');
- return { element, line }
- })
- .filter(x => !isNaN(x.line));
- }
- return elements;
- }
- /**
- * Find the html elements that map to a specific target line in the editor.
- *
- * If an exact match, returns a single element. If the line is between elements,
- * returns the element prior to and the element after the given line.
- *
- * @param {Element} parentElement
- * @param {number} targetLine
- *
- * @returns {{ previous: CodeLineElement, next?: CodeLineElement }}
- */
- getElementsForSourceLine(parentElement, targetLine) {
- const lines = this.getCodeLineElements(parentElement);
- let previous = lines[0] || null;
- for (const entry of lines) {
- if (entry.line === targetLine) {
- return { previous: entry, next: null };
- } else if (entry.line > targetLine) {
- return { previous, next: entry };
- }
- previous = entry;
- }
- return { previous };
- }
- getSourceRevealAddedOffset(element) {
- // get paddingTop
- const style = window.getComputedStyle(element, null);
- const paddingTop = +(style.paddingTop.replace('px', ''));
- return -(paddingTop + element.clientHeight * 1 / 10);
- }
- /**
- * Attempt to reveal the element for a source line in the editor.
- *
- * @param {Element} element
- * @param {number} line
- */
- scrollToRevealSourceLine(element, line) {
- const { previous, next } = this.getElementsForSourceLine(element, line);
- // marker.update(previous && previous.element);
- if (previous) {
- let scrollTo = 0;
- if (next) {
- // Between two elements. Go to percentage offset between them.
- const betweenProgress = (line - previous.line) / (next.line - previous.line);
- const elementOffset = next.element.getBoundingClientRect().top - previous.element.getBoundingClientRect().top;
- scrollTo = previous.element.getBoundingClientRect().top + betweenProgress * elementOffset;
- } else {
- scrollTo = previous.element.getBoundingClientRect().top;
- }
- element.scroll(0, element.scrollTop + scrollTo + this.getSourceRevealAddedOffset(element));
- }
- }
- }
- // singleton pattern
- const instance = new ScrollSyncHelper();
- Object.freeze(instance);
- export default instance;
|