Merge branch 'releases/Release_2_10_Branch' into develop

[jalview.git] / src / jalview / gui / OptsAndParamsPage.java

diff --git a/src/jalview/gui/OptsAndParamsPage.java b/src/jalview/gui/OptsAndParamsPage.java
index 040a1e5..e584eb7 100644 (file)
--- a/src/jalview/gui/OptsAndParamsPage.java
+++ b/src/jalview/gui/OptsAndParamsPage.java
@@ -579,8 +579,8 @@ public class OptsAndParamsPage
       if (!adjusting)
       {
         valueField.setText(""
-                + ((integ) ? ("" + slider.getValue())
-                        : ("" + slider.getValue() / 1000f)));
+                + ((integ) ? ("" + slider.getValue()) : ("" + slider
+                        .getValue() / 1000f)));
         checkIfModified();
       }