From 19613c8c00ffcb40d3787899c85998707704f530 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Tue, 7 Mar 2023 20:56:20 +0100 Subject: [PATCH] Set minimum height for settings editor fixes #175623 --- src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts index 9e434450299ce..5207ea81d01a4 100644 --- a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts +++ b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts @@ -286,6 +286,7 @@ export class SettingsEditor2 extends EditorPane { override get minimumWidth(): number { return SettingsEditor2.EDITOR_MIN_WIDTH; } override get maximumWidth(): number { return Number.POSITIVE_INFINITY; } + override get minimumHeight() { return 180; } // these setters need to exist because this extends from EditorPane override set minimumWidth(value: number) { /*noop*/ }