Method dispose

java/src/processing/mode/java/JavaEditor.java:1312–1325

Used instead of the windowClosing event handler, since it's not called on mode switch. Called when closing the editor window. Stops running debug sessions and kills the variable inspector window.

()

   * sessions and kills the variable inspector window.
   */
  @Override
  public void dispose() {
    //System.out.println("window dispose");
    // quit running debug session
    if (debugEnabled) {
      debugger.stopDebug();
    }
    if (inspector != null) {
      inspector.dispose();
    }
    preprocessingService.dispose();
    pdex.dispose();
    super.dispose();
  }


  /**