Added scrollbar as fallback for os that allows resizing

TAPAAL · Oct 8, 2023 · 85dc711 · 85dc711
1 parent 8b3d7f9
commit 85dc711
Showing 1 changed file with 7 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
@@ -244,8 +244,6 @@ public void fireDone(boolean cancelled) {
 		this.getRootPane().setDefaultButton(drawButton);
 		drawButton.requestFocus();
 
-		setContentPane(mainPanel);
-
 		int extraWidth = 100;
 
 		Dimension preferredSize = mainPanel.getPreferredSize();
@@ -255,6 +253,13 @@ public void fireDone(boolean cancelled) {
 		Dimension newPreferredSize = new Dimension(preferredWidth, preferredHeight);
 
 		mainPanel.setPreferredSize(newPreferredSize);
+
+		JScrollPane scrollPane = new JScrollPane(mainPanel);
+		scrollPane.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED);
+		scrollPane.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED);
+		scrollPane.setBorder(null);
+
+		setContentPane(scrollPane);
 	}
 
 	private void initAdvancedOptionsPanel() {