From e2033b56446970fedeac8e8388a9cc32cbec4113 Mon Sep 17 00:00:00 2001
From: codeanticode <andres.colubri@gmail.com>
Date: Tue, 8 Dec 2015 15:21:47 -0500
Subject: [PATCH] call PApplet.exit() in windowDestroyNotify(), fixes #4156

---
 core/src/processing/opengl/PSurfaceJOGL.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/core/src/processing/opengl/PSurfaceJOGL.java b/core/src/processing/opengl/PSurfaceJOGL.java
index b16c715f2..b006d69cd 100644
--- a/core/src/processing/opengl/PSurfaceJOGL.java
+++ b/core/src/processing/opengl/PSurfaceJOGL.java
@@ -938,8 +938,7 @@ public class PSurfaceJOGL implements PSurface {
 
     @Override
     public void windowDestroyNotify(com.jogamp.newt.event.WindowEvent arg0) {
-      sketch.dispose();
-      sketch.exitActual();
+      sketch.exit();
     }
 
     @Override