From 4c50173ee92d591f20f50d22bfc42b5c7e051577 Mon Sep 17 00:00:00 2001 From: renekton Date: Thu, 17 Oct 2024 10:52:06 +0800 Subject: [PATCH] =?UTF-8?q?=E8=B0=83=E6=95=B4=E6=8E=A7=E4=BB=B6=E5=BC=B9?= =?UTF-8?q?=E7=AA=97=E9=AB=98=E5=BA=A6=E8=AE=A1=E7=AE=97?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../java/com/fr/design/mainframe/FormWidgetPopWindow.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/designer-form/src/main/java/com/fr/design/mainframe/FormWidgetPopWindow.java b/designer-form/src/main/java/com/fr/design/mainframe/FormWidgetPopWindow.java index e29548e57b..e7cfaff259 100644 --- a/designer-form/src/main/java/com/fr/design/mainframe/FormWidgetPopWindow.java +++ b/designer-form/src/main/java/com/fr/design/mainframe/FormWidgetPopWindow.java @@ -17,6 +17,8 @@ import java.awt.Toolkit; import java.awt.event.AWTEventListener; import java.awt.event.MouseEvent; +import static com.fine.theme.utils.FineUIScale.scale; + //august: public class FormWidgetPopWindow extends JWindow { private WidgetOption[] options; @@ -127,8 +129,8 @@ public class FormWidgetPopWindow extends JWindow { public Dimension preferredLayoutSize(Container parent) { Insets insets = parent.getInsets(); int nmembers = parent.getComponentCount(); - return new Dimension(maxLine * 28 + insets.left + insets.right + right + left, (nmembers / maxLine + 1) - * 24 + insets.top + insets.bottom + top + bottom); + return new Dimension(maxLine * scale(28) + insets.left + insets.right + scale(right) + scale(left), + (int) Math.ceil((float) nmembers / maxLine) * scale(26) + insets.top + insets.bottom + scale(top) + scale(bottom)); } @Override