From ee5f35cea01d624ecb31deac9604af79b455b365 Mon Sep 17 00:00:00 2001
From: benfry <fry@processing.org>
Date: Sun, 17 Jun 2007 21:42:21 +0000
Subject: [PATCH] kill editor window on stop when running externally

---
 app/Editor.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/app/Editor.java b/app/Editor.java
index 483be0112..fcf77b41a 100644
--- a/app/Editor.java
+++ b/app/Editor.java
@@ -1310,6 +1310,10 @@ public class Editor extends JFrame
   public void handleStop() {  // called by menu or buttons
     if (presenting) {
       doClose();
+    } else if (runtime.window != null) {
+      // When run externally, kill the applet window,
+      // otherwise things may not stop properly with libraries.
+      doClose();
     } else {
       doStop();
     }