From 59337999169ff8987c3f8ffc4ae30ca8cf1e56aa Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 2 Apr 2007 13:57:55 +0000
Subject: [PATCH] Allow for scroll bar height
---
src/jalview/gui/AlignFrame.java | 2 ++
src/jalview/gui/AlignmentPanel.java | 1 +
2 files changed, 3 insertions(+)
diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 399ffa4..7db8f01 100755
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -962,6 +962,7 @@ public class AlignFrame
PaintRefresher.RemoveComponent(ap.seqPanel.seqCanvas);
PaintRefresher.RemoveComponent(ap.idPanel.idCanvas);
PaintRefresher.RemoveComponent(ap);
+ ap.av.alignment = null;
}
}
else
@@ -972,6 +973,7 @@ public class AlignFrame
PaintRefresher.RemoveComponent(alignPanel.seqPanel.seqCanvas);
PaintRefresher.RemoveComponent(alignPanel.idPanel.idCanvas);
PaintRefresher.RemoveComponent(alignPanel);
+ viewport.alignment = null;
alignPanel = null;
viewport = null;
diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 6cd18ba..62c0d09 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -108,6 +108,7 @@ public class AlignmentPanel
});
fontChanged();
+ adjustAnnotationHeight();
}
--
1.7.10.2