X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=6872136aedf0603341978cc640703f29f86250fb;hb=24ad8bbb87343e317452c0dcb22efd800e7986d6;hp=4bd49600bc0a1f6613c090a5f886fc427891d11f;hpb=74bdd7428aed598861d18281124c9143604a82de;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 4bd4960..6872136 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -38,7 +38,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio if(d.width+dif>20 || dif>0) { ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height)); - ap.RefreshPanels(); + ap.repaint(); } oldX = evt.getX();