{
if (ap.getOverviewPanel() != null)
{
- ap.getOverviewPanel().updateOverviewImage();
+ // changes size of rectangle
+ // BH 2019.07.29 -- updateOverviewImage forces a redraw, but all we are
+ // doing is changing the box size.
+
+ ap.getOverviewPanel().repaint();// updateOverviewImage();
}
}
}