From 7a1711d750d3204a52833d7bb9cfeeeb57e931dc Mon Sep 17 00:00:00 2001
From: SiboVG <sibo.vangool@hotmail.com>
Date: Wed, 9 Aug 2023 01:31:28 +0200
Subject: [PATCH] Increase font size range

---
 .../gui/dialogs/preferences/GeneralPreferencesPanel.java        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java b/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java
index d1c472fe8..98e993c6f 100644
--- a/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java
+++ b/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java
@@ -119,7 +119,7 @@ public class GeneralPreferencesPanel extends PreferencesPanel {
 
 		//// Font size
 		this.add(new JLabel(trans.get("generalprefs.lbl.FontSize")), "gapright para");
-		final IntegerModel fontSizeModel = new IntegerModel(preferences, "UIFontSize", 9, 15);
+		final IntegerModel fontSizeModel = new IntegerModel(preferences, "UIFontSize", 5, 25);
 		final JSpinner fontSizeSpinner = new JSpinner(fontSizeModel.getSpinnerModel());
 		fontSizeSpinner.setEditor(new SpinnerEditor(fontSizeSpinner));
 		this.add(fontSizeSpinner, "growx, wrap");