From 76cdeb794892e1fa7a63a1f069922c4e7cc9c54b Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Wed, 20 Jun 2018 15:50:10 +0200 Subject: [PATCH] preferences editor needs a min height --- src/vs/workbench/parts/preferences/browser/preferencesEditor.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/vs/workbench/parts/preferences/browser/preferencesEditor.ts b/src/vs/workbench/parts/preferences/browser/preferencesEditor.ts index 0eb68416f94..61669bfa5e3 100644 --- a/src/vs/workbench/parts/preferences/browser/preferencesEditor.ts +++ b/src/vs/workbench/parts/preferences/browser/preferencesEditor.ts @@ -82,6 +82,8 @@ export class PreferencesEditor extends BaseEditor { set minimumWidth(value: number) { /*noop*/ } set maximumWidth(value: number) { /*noop*/ } + readonly minimumHeight = 260; + private _onDidCreateWidget = new Emitter<{ width: number; height: number; }>(); readonly onDidSizeConstraintsChange: Event<{ width: number; height: number; }> = this._onDidCreateWidget.event;