diff options
| author | Tor Andersson <tor.andersson@artifex.com> | 2017-01-12 14:07:11 +0100 |
|---|---|---|
| committer | Tor Andersson <tor.andersson@artifex.com> | 2017-01-17 17:15:59 +0100 |
| commit | 78b6502c62fcaac4011cfeb986ab36ee20c60a35 (patch) | |
| tree | 118b03e6d4e86ebcfc950c199cf88be3c1876f35 | |
| parent | 9322cd236f2c74461ab5d20e0a399035051628ae (diff) | |
| download | mupdf-78b6502c62fcaac4011cfeb986ab36ee20c60a35.tar.xz | |
java: Call dispose() instead of System.exit() when closing the window.
| -rw-r--r-- | platform/java/example/Viewer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/java/example/Viewer.java b/platform/java/example/Viewer.java index f5a1ad2b..1702e18c 100644 --- a/platform/java/example/Viewer.java +++ b/platform/java/example/Viewer.java @@ -346,7 +346,7 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite } } - public void windowClosing(WindowEvent event) { System.exit(0); } + public void windowClosing(WindowEvent event) { dispose(); } public void windowActivated(WindowEvent event) { } public void windowDeactivated(WindowEvent event) { } public void windowIconified(WindowEvent event) { } |