maxmustermann/vscode
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Reveal line 0 in editor when markdown preview scrolls to top

Browse source 
Fixes #61815
This commit is contained in:
Matt Bierner 2018-10-25 10:54:39 -07:00
parent 295ff96f26
commit fe63c7e2f2
2 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
extensions/markdown-language-features/media/index.js
View file

File diff suppressed because one or more lines are too long

7
extensions/markdown-language-features/preview-src/scroll-sync.ts
View file

@ -24,13 +24,13 @@ const getCodeLineElements = (() => {
let elements: CodeLineElement[]; let elements: CodeLineElement[];
return () => { return () => {
if (!elements) { if (!elements) {
elements = Array.prototype.map.call( elements = ([{ element: document.body, line: 0 }]).concat(Array.prototype.map.call(
document.getElementsByClassName('code-line'), document.getElementsByClassName('code-line'),
(element: any) => { (element: any) => {
const line = +element.getAttribute('data-line'); const line = +element.getAttribute('data-line');
return { element, line }; return { element, line };
}) })
.filter((x: any) => !isNaN(x.line)); .filter((x: any) => !isNaN(x.line)));
} }
return elements; return elements;
}; };
@ -49,8 +49,7 @@ export function getElementsForSourceLine(targetLine: number): { previous: CodeLi
for (const entry of lines) { for (const entry of lines) {
if (entry.line === lineNumber) { if (entry.line === lineNumber) {
return { previous: entry, next: undefined }; return { previous: entry, next: undefined };
} } else if (entry.line > lineNumber) {
else if (entry.line > lineNumber) {
return { previous, next: entry }; return { previous, next: entry };
} }
previous = entry; previous = entry;