dispose handlers not called when stop button pressed

Created by: jdf

In the following sketch, the dispose handler is called when the escape key is pressed, but not when the stop button is pressed.

dispose_bug

SampleLibrary s;
void setup() {
  size(200, 200, P3D);
  s = new SampleLibrary(this);
}

void draw() {
  background(255);
  fill(0);
  text("" + millis(), 20, 20);
}

SampleLibrary.java

import processing.core.*;

public class SampleLibrary {

  public SampleLibrary(PApplet parent) {
    parent.registerMethod("dispose", this);
  }

  public void dispose() {
    System.err.println("disposed!");
  }
}

Comienza ejecutando el sketch dispose_bug proporcionado en Processing y compara pulsar Escape con pulsar el botón de detener. Sigue la ruta de apagado del botón de detener y el manejador dispose registrado que se muestra en SampleLibrary.java; la tarea estará completa cuando el manejador se llame en ambas formas de detener el sketch.