vertices.setText("Current polygon in RegionListing=" + n);
}
});
eventBus.addHandler(EndEditRegionPolygonEvent.TYPE,
new EndEditRegionPolygonEventHandler() {
public void onEndEditRegionPolygon(EndEditRegionPolygonEvent event) {
RegionPolygon p = event.polygon;
currentPolygon = p;
GWT.log("DUPE EndEditRegionPolygonEventHandler currentPolygon="+currentPolygon);