Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-04-26 03:29:00 +01:00
Code Issues Packages Projects Releases Wiki Activity

enable @typescript-eslint/member-delimiter-style, https://github.com/microsoft/vscode/issues/140391

Browse Source
This commit is contained in:
Johannes Rieken
2022-02-02 14:34:41 +01:00
parent 5abc4e0071
commit 4a130c40ed
954 changed files with 3017 additions and 3016 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
extensions/markdown-language-features/preview-src/scroll-sync.ts
View File

@@ -53,7 +53,7 @@ const getCodeLineElements = (() => {
* 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.
*/
export function getElementsForSourceLine(targetLine: number, documentVersion: number): { previous: CodeLineElement; next?: CodeLineElement; } {
export function getElementsForSourceLine(targetLine: number, documentVersion: number): { previous: CodeLineElement; next?: CodeLineElement } {
const lineNumber = Math.floor(targetLine);
const lines = getCodeLineElements(documentVersion);
let previous = lines[0] || null;
@@ -71,7 +71,7 @@ export function getElementsForSourceLine(targetLine: number, documentVersion: nu
/**
* Find the html elements that are at a specific pixel offset on the page.
*/
export function getLineElementsAtPageOffset(offset: number, documentVersion: number): { previous: CodeLineElement; next?: CodeLineElement; } {
export function getLineElementsAtPageOffset(offset: number, documentVersion: number): { previous: CodeLineElement; next?: CodeLineElement } {
const lines = getCodeLineElements(documentVersion);
const position = offset - window.scrollY;
let lo = -1;
@@ -98,7 +98,7 @@ export function getLineElementsAtPageOffset(offset: number, documentVersion: num
return { previous: hiElement };
}
function getElementBounds({ element }: CodeLineElement): { top: number, height: number } {
function getElementBounds({ element }: CodeLineElement): { top: number; height: number } {
const myBounds = element.getBoundingClientRect();
// Some code line elements may contain other code line elements.