Must allow for scrollbar height
authoramwaterhouse <Andrew Waterhouse>
Mon, 2 Apr 2007 11:16:53 +0000 (11:16 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 2 Apr 2007 11:16:53 +0000 (11:16 +0000)
src/jalview/gui/AlignmentPanel.java

index cdff8a3..6cd18ba 100755 (executable)
@@ -81,8 +81,6 @@ public class AlignmentPanel
     annotationScroller.setViewportView(annotationPanel);\r
     annotationSpaceFillerHolder.add(alabels, BorderLayout.CENTER);\r
 \r
-    fontChanged();\r
-\r
     scalePanelHolder.add(scalePanel, BorderLayout.CENTER);\r
     seqPanelHolder.add(seqPanel, BorderLayout.CENTER);\r
 \r
@@ -109,7 +107,7 @@ public class AlignmentPanel
       }\r
     });\r
 \r
-    adjustAnnotationHeight();\r
+    fontChanged();\r
 \r
   }\r
 \r
@@ -298,16 +296,20 @@ public class AlignmentPanel
       System.out.println("NEEDS FIXING");\r
     }\r
 \r
-    int height = annotationPanel.adjustPanelHeight();\r
+    int height = annotationPanel.adjustPanelHeight() +\r
+        hscroll.getPreferredSize().height;\r
 \r
     if (height > alignFrame.getHeight() / 2)\r
     {\r
       height = alignFrame.getHeight() / 2;\r
     }\r
 \r
+    hscroll.addNotify();\r
+\r
     annotationScroller.setPreferredSize(\r
         new Dimension(annotationScroller.getWidth(),\r
-                      height));\r
+                      height + hscroll.getHeight()));\r
+\r
 \r
     annotationSpaceFillerHolder.setPreferredSize(new Dimension(\r
         annotationSpaceFillerHolder.getWidth(),\r