OpControl control = (OpControl) cookie;
control.getOperation().changeBatchStarted();
}
public void regionChanged(Object cookie, SharedShape shape) {
OpControl control = (OpControl) cookie;
Region region = overlay.getRegion(control);
control.getOperation().setRegion(region);
control.setRegionIndicator(region!=null);
}