From 091a9456d918441e2d6d945b95588a3f38309030 Mon Sep 17 00:00:00 2001 From: "serge@jkiss.org" Date: Sat, 9 Jun 2018 12:42:03 +0300 Subject: [PATCH] Tree editor UI fix (control height) Former-commit-id: b51dc360bb2fd43e159494d9215a51d1d3547fae --- .../src/org/jkiss/dbeaver/ui/controls/CustomTreeEditor.java | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/org.jkiss.dbeaver.ui/src/org/jkiss/dbeaver/ui/controls/CustomTreeEditor.java b/plugins/org.jkiss.dbeaver.ui/src/org/jkiss/dbeaver/ui/controls/CustomTreeEditor.java index 670908cae1..1cbd59e64e 100644 --- a/plugins/org.jkiss.dbeaver.ui/src/org/jkiss/dbeaver/ui/controls/CustomTreeEditor.java +++ b/plugins/org.jkiss.dbeaver.ui/src/org/jkiss/dbeaver/ui/controls/CustomTreeEditor.java @@ -83,6 +83,7 @@ public abstract class CustomTreeEditor implements MouseListener, TraverseListene if (editor == null) { return; } + treeEditor.minimumHeight = editor.computeSize(SWT.DEFAULT, SWT.DEFAULT).y; editor.setFocus(); editor.addFocusListener(new FocusAdapter() { @Override -- GitLab