Increased preferred width of panel to prevent the content from being …

…squeezed
TAPAAL · Oct 8, 2023 · 8b3d7f9 · 8b3d7f9
1 parent d8ca3ba
commit 8b3d7f9
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/src/main/java/net/tapaal/gui/petrinet/smartdraw/SmartDrawDialog.java b/src/main/java/net/tapaal/gui/petrinet/smartdraw/SmartDrawDialog.java
@@ -245,6 +245,16 @@ public void fireDone(boolean cancelled) {
 		drawButton.requestFocus();
 
 		setContentPane(mainPanel);
+
+		int extraWidth = 100;
+
+		Dimension preferredSize = mainPanel.getPreferredSize();
+		int preferredWidth = preferredSize.width + extraWidth;
+		int preferredHeight = preferredSize.height;
+
+		Dimension newPreferredSize = new Dimension(preferredWidth, preferredHeight);
+
+		mainPanel.setPreferredSize(newPreferredSize);
 	}
 
 	private void initAdvancedOptionsPanel() {
@@ -567,8 +577,6 @@ private void initSpacingSelecters(){
 		gbc.insets = new Insets(10, 20, 10, 0);
 		gbc.anchor = GridBagConstraints.NORTHWEST;
 
-		spacingPanel.setPreferredSize(new Dimension(400, getHeight()));
-
 		mainPanel.add(spacingPanel, gbc);
 	}