(av.isShowAnnotation() && av
.getAlignmentConservationAnnotation() != null));
+ // setSize(od.getWidth(), od.getHeight() + 20);
+
setLayout(new BorderLayout());
progressPanel = new ProgressPanel(OverviewRenderer.UPDATE,
MessageManager.getString("label.oview_calc"));
}
}
else
- // if (!av.getWrapAlignment())
{
if (!od.isPositionInBox(evt.getX(), evt.getY()))
{
}
});
- // updateOverviewImage();
+ setPreferredSize(new Dimension(od.getWidth(),
+ od.getHeight()));
}
/*
}
setPreferredSize(new Dimension(od.getWidth(),
- od.getHeight()));
+ od.getHeight() + progressPanel.getHeight()));
if (oviewCanvas.restartDraw())
{