private Dimension dim;
- private boolean showProgress = !Platform.isJS(); // Jalview.getInstance().getShowStatus()
+ private boolean showProgress = !Platform.isJS();
/**
* Creates a new OverviewPanel object.
});
}
+ /***
+ * 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.)
+ */
protected void resizePanel()
{
int ph = (progressPanel.getParent() == null ? 0
: progressPanel.getHeight());
- // 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() + ph)
{
if (canvas.lastMiniMe == null)
}
/**
- * Create the appropriate type of OverViewDimensions, with the desired size.
+ * Creates the appropriate type of OverviewDimensions, with the desired size
*/
private void createOverviewDimensions()
{
od = new OverviewDimensionsHideHidden(av.getRanges(), showAnnotation,
dim);
}
-
}
/**
}
/**
- * Updates the overview image when the related alignment panel is updated.
- *
- * Cases:
- *
- * AlignFrame.setFeatureGroupState
- *
- * AlignmentPanel.paintAlignment(true,...) (117 references)
- *
- * OverviewPanel..componentResized() OverviewPanel.toggleHiddenColumns()
- *
- * PopupMenu for action.reveal_sequences, action.reveal_all
- *
- * SliderPanel.mouseReleased()
- *
+ * Updates the overview image when the related alignment panel is updated
*/
public void updateOverviewImage()
{
/**
* Update the overview panel box when the associated alignment panel is
* changed
- *
*/
private void setBoxPositionOnly()
{