removing line height from renderLineInput
parent
cdf8764611
commit
6ead1c3034
|
@ -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
|
||||
);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue