System.out.println("NEEDS FIXING");\r
}\r
\r
- int height = annotationPanel.adjustPanelHeight() +\r
- hscroll.getPreferredSize().height;\r
+ int height = annotationPanel.adjustPanelHeight();\r
\r
+ if (hscroll.isVisible())\r
+ {\r
+ height += hscroll.getPreferredSize().height;\r
+ }\r
if (height > alignFrame.getHeight() / 2)\r
{\r
height = alignFrame.getHeight() / 2;\r
hscroll.addNotify();\r
\r
annotationScroller.setPreferredSize(\r
- new Dimension(annotationScroller.getWidth(),\r
- height + hscroll.getHeight()));\r
+ new Dimension(annotationScroller.getWidth(), height));\r
\r
\r
annotationSpaceFillerHolder.setPreferredSize(new Dimension(\r