From 6907f4fb0b389eb4110cdc6505e08ffc6f614780 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Thu, 31 Oct 2019 14:18:48 +0000 Subject: [PATCH] JAL-3473 Checked value of def and min. Set def to min if lower than min. --- src/jalview/jbgui/GPreferences.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java index 0bc5d28..1b4a8bd 100755 --- a/src/jalview/jbgui/GPreferences.java +++ b/src/jalview/jbgui/GPreferences.java @@ -2506,6 +2506,10 @@ public class GPreferences extends JPanel { max = def; } + if (def < min) + { + def = min; + } SpinnerModel sModel = new SpinnerNumberModel(def, min, max, 1); s.setModel(sModel); -- 1.7.10.2