From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Fri, 23 Aug 2019 14:38:29 +0000 (+0100)
Subject: JAL-3141 correct cast of spinner value
X-Git-Tag: Release_2_11_1_0~22^2~2
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=53dbe945f2ae3469fe5320760e3f2b3d65897964

JAL-3141 correct cast of spinner value
---

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 9f98ffa..0bc5d28 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -2487,7 +2487,7 @@ public class GPreferences extends JPanel
     {
       try
       {
-        i = Integer.parseInt((String) s.getValue());
+        i = ((Integer) s.getValue()).intValue();
       } catch (Exception e)
       {
         Cache.log.error(