From 74bdd7428aed598861d18281124c9143604a82de Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 21 Mar 2005 18:46:25 +0000
Subject: [PATCH] prevent idpanel being to narrow

---
 src/jalview/gui/IdwidthAdjuster.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
-- 
1.7.10.2