preferences editor needs a min height

This commit is contained in:
Joao Moreno
2018-06-20 15:50:10 +02:00
parent 341fc24bbc
commit 76cdeb7948

View File

@@ -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;