未验证 提交 4014ee77 编写于 作者: M Miguel Solorio 提交者: GitHub

Merge branch 'master' into misolori/dialog-polish

...@@ -5,6 +5,7 @@ ...@@ -5,6 +5,7 @@
import { getSettings } from './settings'; import { getSettings } from './settings';
const codeLineClass = 'code-line';
function clamp(min: number, max: number, value: number) { function clamp(min: number, max: number, value: number) {
return Math.min(max, Math.max(min, value)); return Math.min(max, Math.max(min, value));
...@@ -25,7 +26,7 @@ const getCodeLineElements = (() => { ...@@ -25,7 +26,7 @@ const getCodeLineElements = (() => {
return () => { return () => {
if (!elements) { if (!elements) {
elements = [{ element: document.body, line: 0 }]; elements = [{ element: document.body, line: 0 }];
for (const element of document.getElementsByClassName('code-line')) { for (const element of document.getElementsByClassName(codeLineClass)) {
const line = +element.getAttribute('data-line')!; const line = +element.getAttribute('data-line')!;
if (isNaN(line)) { if (isNaN(line)) {
continue; continue;
...@@ -75,7 +76,7 @@ export function getLineElementsAtPageOffset(offset: number): { previous: CodeLin ...@@ -75,7 +76,7 @@ export function getLineElementsAtPageOffset(offset: number): { previous: CodeLin
let hi = lines.length - 1; let hi = lines.length - 1;
while (lo + 1 < hi) { while (lo + 1 < hi) {
const mid = Math.floor((lo + hi) / 2); const mid = Math.floor((lo + hi) / 2);
const bounds = lines[mid].element.getBoundingClientRect(); const bounds = getElementBounds(lines[mid]);
if (bounds.top + bounds.height >= position) { if (bounds.top + bounds.height >= position) {
hi = mid; hi = mid;
} }
...@@ -84,7 +85,7 @@ export function getLineElementsAtPageOffset(offset: number): { previous: CodeLin ...@@ -84,7 +85,7 @@ export function getLineElementsAtPageOffset(offset: number): { previous: CodeLin
} }
} }
const hiElement = lines[hi]; const hiElement = lines[hi];
const hiBounds = hiElement.element.getBoundingClientRect(); const hiBounds = getElementBounds(hiElement);
if (hi >= 1 && hiBounds.top > position) { if (hi >= 1 && hiBounds.top > position) {
const loElement = lines[lo]; const loElement = lines[lo];
return { previous: loElement, next: hiElement }; return { previous: loElement, next: hiElement };
...@@ -95,6 +96,24 @@ export function getLineElementsAtPageOffset(offset: number): { previous: CodeLin ...@@ -95,6 +96,24 @@ export function getLineElementsAtPageOffset(offset: number): { previous: CodeLin
return { previous: hiElement }; return { previous: hiElement };
} }
function getElementBounds({ element }: CodeLineElement): { top: number, height: number } {
const myBounds = element.getBoundingClientRect();
// Some code line elements may contain other code line elements.
// In those cases, only take the height up to that child.
const codeLineChild = element.querySelector(`.${codeLineClass}`);
if (codeLineChild) {
const childBounds = codeLineChild.getBoundingClientRect();
const height = Math.max(1, (childBounds.top - myBounds.top));
return {
top: myBounds.top,
height: height
};
}
return myBounds;
}
/** /**
* Attempt to reveal the element for a source line in the editor. * Attempt to reveal the element for a source line in the editor.
*/ */
...@@ -113,7 +132,7 @@ export function scrollToRevealSourceLine(line: number) { ...@@ -113,7 +132,7 @@ export function scrollToRevealSourceLine(line: number) {
return; return;
} }
let scrollTo = 0; let scrollTo = 0;
const rect = previous.element.getBoundingClientRect(); const rect = getElementBounds(previous);
const previousTop = rect.top; const previousTop = rect.top;
if (next && next.line !== previous.line) { if (next && next.line !== previous.line) {
// Between two elements. Go to percentage offset between them. // Between two elements. Go to percentage offset between them.
...@@ -130,10 +149,10 @@ export function scrollToRevealSourceLine(line: number) { ...@@ -130,10 +149,10 @@ export function scrollToRevealSourceLine(line: number) {
export function getEditorLineNumberForPageOffset(offset: number) { export function getEditorLineNumberForPageOffset(offset: number) {
const { previous, next } = getLineElementsAtPageOffset(offset); const { previous, next } = getLineElementsAtPageOffset(offset);
if (previous) { if (previous) {
const previousBounds = previous.element.getBoundingClientRect(); const previousBounds = getElementBounds(previous);
const offsetFromPrevious = (offset - window.scrollY - previousBounds.top); const offsetFromPrevious = (offset - window.scrollY - previousBounds.top);
if (next) { if (next) {
const progressBetweenElements = offsetFromPrevious / (next.element.getBoundingClientRect().top - previousBounds.top); const progressBetweenElements = offsetFromPrevious / (getElementBounds(next).top - previousBounds.top);
const line = previous.line + progressBetweenElements * (next.line - previous.line); const line = previous.line + progressBetweenElements * (next.line - previous.line);
return clampLine(line); return clampLine(line);
} else { } else {
......
...@@ -223,7 +223,7 @@ export class DynamicMarkdownPreview extends Disposable { ...@@ -223,7 +223,7 @@ export class DynamicMarkdownPreview extends Disposable {
this._register(vscode.window.onDidChangeActiveTextEditor(editor => { this._register(vscode.window.onDidChangeActiveTextEditor(editor => {
if (editor && isMarkdownFile(editor.document) && !this._locked) { if (editor && isMarkdownFile(editor.document) && !this._locked) {
this.update(editor.document.uri); this.update(editor.document.uri, false);
} }
})); }));
...@@ -264,7 +264,6 @@ export class DynamicMarkdownPreview extends Disposable { ...@@ -264,7 +264,6 @@ export class DynamicMarkdownPreview extends Disposable {
this._onDisposeEmitter.fire(); this._onDisposeEmitter.fire();
this._onDisposeEmitter.dispose(); this._onDisposeEmitter.dispose();
this._onDidChangeViewStateEmitter.dispose();
this.editor.dispose(); this.editor.dispose();
super.dispose(); super.dispose();
} }
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册