From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 21 Mar 2005 18:46:25 +0000 (+0000)
Subject: prevent idpanel being to narrow
X-Git-Tag: Release_2_0~536
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=74bdd7428aed598861d18281124c9143604a82de;p=jalview.git

prevent idpanel being to narrow
---

diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java
index 19bd2f2..4bd4960 100755
--- a/src/jalview/gui/IdwidthAdjuster.java
+++ b/src/jalview/gui/IdwidthAdjuster.java
@@ -35,7 +35,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio
     Dimension d = ap.idPanel.idCanvas.getPreferredSize();
     int dif = evt.getX() - oldX;
 
-    if(d.width>20 || dif>0)
+    if(d.width+dif>20 || dif>0)
     {
       ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height));
       ap.RefreshPanels();