From 6ead1c3034112d0d4b377348fd8f96e90bd186e8 Mon Sep 17 00:00:00 2001 From: Aiday Marlen Kyzy Date: Thu, 9 Jan 2025 10:04:45 +0100 Subject: [PATCH] removing line height from renderLineInput --- src/vs/editor/common/viewLayout/viewLineRenderer.ts | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/vs/editor/common/viewLayout/viewLineRenderer.ts b/src/vs/editor/common/viewLayout/viewLineRenderer.ts index d1aba91386406..b19b34e040ccf 100644 --- a/src/vs/editor/common/viewLayout/viewLineRenderer.ts +++ b/src/vs/editor/common/viewLayout/viewLineRenderer.ts @@ -62,7 +62,6 @@ export class RenderLineInput { public readonly renderWhitespace: RenderWhitespace; public readonly renderControlCharacters: boolean; public readonly fontLigatures: boolean; - public readonly lineHeight: number; /** * Defined only when renderWhitespace is 'selection'. Selections are non-overlapping, @@ -89,8 +88,7 @@ export class RenderLineInput { renderWhitespace: 'none' | 'boundary' | 'selection' | 'trailing' | 'all', renderControlCharacters: boolean, fontLigatures: boolean, - selectionsOnLine: LineRange[] | null, - lineHeight: number + selectionsOnLine: LineRange[] | null ) { this.useMonospaceOptimizations = useMonospaceOptimizations; this.canUseHalfwidthRightwardsArrow = canUseHalfwidthRightwardsArrow; @@ -119,7 +117,6 @@ export class RenderLineInput { this.renderControlCharacters = renderControlCharacters; this.fontLigatures = fontLigatures; this.selectionsOnLine = selectionsOnLine && selectionsOnLine.sort((a, b) => a.startOffset < b.startOffset ? -1 : 1); - this.lineHeight = lineHeight; const wsmiddotDiff = Math.abs(wsmiddotWidth - spaceWidth); const middotDiff = Math.abs(middotWidth - spaceWidth); @@ -175,7 +172,6 @@ export class RenderLineInput { && LineDecoration.equalsArr(this.lineDecorations, other.lineDecorations) && this.lineTokens.equals(other.lineTokens) && this.sameSelection(other.selectionsOnLine) - && this.lineHeight === other.lineHeight ); } }