/**
* Called when the main image changes in some way. The change event
* (ImageChangeEvent) describes what changed.
*/
public void stateChanged(ChangeEvent ce) {
ImageChangeEvent e = (ImageChangeEvent) ce;
if (e.isNewScale() || (e.isNewImage() && !e.isBefore())) {
if (!_propagateScale) {
setZoomFactor(_imageDisplay.getScale() / _mainImageDisplay.getScale());
}
if (_mainImageDisplay.isPrescaled())