Merge branch 'develop' into releases/Release_2_10_2_Branch
[jalview.git] / src / jalview / appletgui / AnnotationRowFilter.java
index 315ce3b..5efd177 100644 (file)
@@ -154,7 +154,7 @@ public abstract class AnnotationRowFilter extends Panel
     thresholdValue.setCaretPosition(0);
     adjusting = oldadj;
   }
-  
+
   public void thresholdValue_actionPerformed(ActionEvent e)
   {
     try
@@ -163,7 +163,8 @@ public abstract class AnnotationRowFilter extends Panel
       if (percentThreshold.getState())
       {
         int pos = slider.getMinimum()
-                + (int) ((slider.getMaximum() - slider.getMinimum()) * f / 100f);
+                + (int) ((slider.getMaximum() - slider.getMinimum()) * f
+                        / 100f);
         slider.setValue(pos);
       }
       else