X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FScalePanel.java;h=fda1e0319e52bce1bb07cfb9e17ce20a77b7ca6a;hb=0751c58086542f9e0466201b624f84d1efd547bb;hp=a6b4b49a0bc48618296fd6e299a39edf97b45eb6;hpb=0df37dd0eaf85aac817e0a5f747819b49f405024;p=jalview.git diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index a6b4b49..fda1e03 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -180,9 +180,7 @@ public class ScalePanel extends JPanel { av.showColumn(hiddenRange[0]); reveal = null; - ap.updateLayout(); - ap.paintAlignment(true, true); - av.sendSelection(); + updatePanel(); } }); pop.add(item); @@ -197,9 +195,7 @@ public class ScalePanel extends JPanel { av.showAllHiddenColumns(); reveal = null; - ap.updateLayout(); - ap.paintAlignment(true, true); - av.sendSelection(); + updatePanel(); } }); pop.add(item); @@ -221,10 +217,7 @@ public class ScalePanel extends JPanel { av.setSelectionGroup(null); } - - ap.updateLayout(); - ap.paintAlignment(true, true); - av.sendSelection(); + updatePanel(); } }); pop.add(item); @@ -232,6 +225,14 @@ public class ScalePanel extends JPanel return pop; } + protected void updatePanel() + { + ap.updateLayout(); + ap.paintAlignment(true, true); + ap.updateScrollBarsFromRanges(); + av.sendSelection(); + } + /** * Handles left mouse button press *