X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FScalePanel.java;h=5a156faf2f8d6e9484b545c5363e37eac678686a;hb=853624fb32058cccc544ae7d13af6ad4b0800b6c;hp=d2c16931f3a95bbff81139331651f8c823a9b24d;hpb=02d6aa2077a261d41db77a0158f2b4b779a36398;p=jalview.git diff --git a/src/jalview/appletgui/ScalePanel.java b/src/jalview/appletgui/ScalePanel.java index d2c1693..5a156fa 100755 --- a/src/jalview/appletgui/ScalePanel.java +++ b/src/jalview/appletgui/ScalePanel.java @@ -152,8 +152,7 @@ public class ScalePanel extends Panel implements MouseMotionListener, PopupMenu pop = new PopupMenu(); if (reveal != null) { - MenuItem item = new MenuItem( - MessageManager.getString("label.reveal")); + MenuItem item = new MenuItem(MessageManager.getString("label.reveal")); item.addActionListener(new ActionListener() { @Override @@ -205,8 +204,8 @@ public class ScalePanel extends Panel implements MouseMotionListener, { av.hideColumns(res, res); if (av.getSelectionGroup() != null - && av.getSelectionGroup().getSize() == av - .getAlignment().getHeight()) + && av.getSelectionGroup().getSize() == av.getAlignment() + .getHeight()) { av.setSelectionGroup(null); } @@ -495,8 +494,7 @@ public class ScalePanel extends Panel implements MouseMotionListener, gg.fillPolygon(new int[] { -1 + res * avCharWidth - avcharHeight / 4, -1 + res * avCharWidth + avcharHeight / 4, - -1 + res * avCharWidth }, - new int[] { y, y, y + 2 * yOf }, 3); + -1 + res * avCharWidth }, new int[] { y, y, y + 2 * yOf }, 3); } } }