if ((d.height - dif) > 20)
{
- setPreferredSize(new Dimension(e.width,d.height-dif));
- ap.annotationSpaceFillerHolder.setPreferredSize(new Dimension(e.width, d.height - dif));
- ap.annotationPanelHolder.setPreferredSize(new Dimension(d.width, d.height - dif));
+ setSize(new Dimension(e.width,d.height-dif));
+ ap.annotationSpaceFillerHolder.setSize(new Dimension(e.width, d.height - dif));
+ ap.annotationPanelHolder.setSize(new Dimension(d.width, d.height - dif));
ap.apvscroll.setValues(ap.apvscroll.getValue(), d.height-dif, 0, ap.annotationPanel.adjustPanelHeight(false));
ap.validate();