X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=6872136aedf0603341978cc640703f29f86250fb;hb=79f4b175e12f4c16d598b4cb56ffe62532b592a1;hp=81e9da7f0178566054ffc2ab560689f113f9b2c8;hpb=841c332be93270adcfec4c48310c0635513d11fd;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 81e9da7..6872136 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -38,8 +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.invalidate(); - ap.RefreshPanels(); + ap.repaint(); } oldX = evt.getX();