- // Resize is called on the initial display of the overview.
- // This code adjusts sizes to account for the progress bar if it has not
- // already been accounted for, which triggers another resize call for
- // the correct sizing, at which point the overview image is updated.
- // (This avoids a double recalculation of the image.)
- if (getWidth() == od.getWidth() && getHeight() == od.getHeight()
- + progressPanel.getHeight())
- {
- updateOverviewImage();
- }
- else
- {
- if ((getWidth() > 0) && (getHeight() > 0))
- {
- od.setWidth(getWidth());
- od.setHeight(getHeight() - progressPanel.getHeight());
- }
-
- setPreferredSize(new Dimension(od.getWidth(),
- od.getHeight() + progressPanel.getHeight()));
- }