prevent idpanel being to narrow
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:46:25 +0000 (18:46 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:46:25 +0000 (18:46 +0000)
src/jalview/gui/IdwidthAdjuster.java

index 19bd2f2..4bd4960 100755 (executable)
@@ -35,7 +35,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio
     Dimension d = ap.idPanel.idCanvas.getPreferredSize();\r
     int dif = evt.getX() - oldX;\r
 \r
-    if(d.width>20 || dif>0)\r
+    if(d.width+dif>20 || dif>0)\r
     {\r
       ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height));\r
       ap.RefreshPanels();\r