From 454b81bf8e4da9bbdd7f1110ba45800507dba300 Mon Sep 17 00:00:00 2001
From: SiboVG <sibo.vangool@hotmail.com>
Date: Tue, 22 Aug 2023 01:05:29 +0200
Subject: [PATCH] Adjust spinner width

---
 .../net/sf/openrocket/file/wavefrontobj/OBJOptionChooser.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/swing/src/net/sf/openrocket/file/wavefrontobj/OBJOptionChooser.java b/swing/src/net/sf/openrocket/file/wavefrontobj/OBJOptionChooser.java
index 14717d736..0b103e7c0 100644
--- a/swing/src/net/sf/openrocket/file/wavefrontobj/OBJOptionChooser.java
+++ b/swing/src/net/sf/openrocket/file/wavefrontobj/OBJOptionChooser.java
@@ -77,7 +77,7 @@ public class OBJOptionChooser extends JPanel {
         this.scalingModel = new DoubleModel(opts, "ScalingDouble", UnitGroup.UNITS_SCALING, 0, 10000);
         JSpinner spin = new JSpinner(scalingModel.getSpinnerModel());
         spin.setToolTipText(trans.get("OBJOptionChooser.lbl.Scaling.ttip"));
-        spin.setEditor(new SpinnerEditor(spin));
+        spin.setEditor(new SpinnerEditor(spin, 5));
         this.add(spin, "wrap para");