// Wait for end of rendering to update metrics - length, area...
  public void stageChanged(RenderingEvent event) {
    if (measureTool == null) return;

    if (event.getStage().equals(RenderingEvent.AFTER_BUFFER_SWAP)) {
      measureTool.firePropertyChange(MeasureTool.EVENT_METRIC_CHANGED, null, null);
    }
  }
예제 #2
0
  public void stageChanged(RenderingEvent event) {
    if (!event.getStage().equals(RenderingEvent.AFTER_BUFFER_SWAP)) return;

    // We notify of changes during this rendering stage because the sector is updated within the
    // region shape's
    // render method.

    this.notifySectorChanged();
  }