X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdCanvas.java;fp=src%2Fjalview%2Fgui%2FIdCanvas.java;h=ab21714a5fc76c4effc1da029c5d844acb54d587;hb=3a10cfaddf4f4a0949fbecca95f97ccf1d1ca1d6;hp=d9997a0278c79c875032f445e20f677aea80f470;hpb=15c3c0e89d9157187e1ccc6962b115cb255dd04a;p=jalview.git diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java index d9997a0..ab21714 100755 --- a/src/jalview/gui/IdCanvas.java +++ b/src/jalview/gui/IdCanvas.java @@ -435,15 +435,19 @@ public class IdCanvas extends JPanel implements ViewportListenerI if (labels != null && alignViewport.isShowAnnotation()) { + int thisIdWidth = getWidth(); g.translate(0, ypos + (alheight * charHeight)); - int getAnnotationsIdWidth = labels.drawLabels(g, false, -1, false, - null); - int thisIdWidth = idWidth < 0 ? getAnnotationsIdWidth : idWidth; - if (thisIdWidth > getWidth()) + if (!manuallyAdjusted()) { - this.setPreferredSize( - new Dimension(this.getHeight(), thisIdWidth)); - this.repaint(); + int getAnnotationsIdWidth = labels.drawLabels(g, false, -1, false, + null); + thisIdWidth = idWidth < 0 ? getAnnotationsIdWidth : idWidth; + if (thisIdWidth > getWidth()) + { + this.setPreferredSize( + new Dimension(this.getHeight(), thisIdWidth)); + this.repaint(); + } } labels.drawComponent(g, false, thisIdWidth); g.translate(0, -ypos - (alheight * charHeight)); @@ -601,4 +605,16 @@ public class IdCanvas extends JPanel implements ViewportListenerI repaint(); } } + + private boolean manuallyAdjusted = false; + + public boolean manuallyAdjusted() + { + return manuallyAdjusted; + } + + public void setManuallyAdjusted(boolean b) + { + manuallyAdjusted = b; + } }