mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-26 11:38:51 +01:00
Strict null work in editorGroupView
This commit is contained in:
@@ -615,7 +615,7 @@ export interface IDomNodePagePosition {
|
||||
height: number;
|
||||
}
|
||||
|
||||
export function size(element: HTMLElement, width: number, height: number): void {
|
||||
export function size(element: HTMLElement, width: number | null, height: number | null): void {
|
||||
if (typeof width === 'number') {
|
||||
element.style.width = `${width}px`;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user