From 0dd24cb137120e8cea9340e70dd31549066f4d66 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 11 Jan 2007 12:14:49 +0000
Subject: [PATCH] Bug fix: wrong Swing window closing method (now caught at
 run-time by Java 6). Cheers Alistair.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@213 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/chart/MultiGraphOptions.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/chart/MultiGraphOptions.java b/prism/src/chart/MultiGraphOptions.java
index 0e646722..ab0e0781 100644
--- a/prism/src/chart/MultiGraphOptions.java
+++ b/prism/src/chart/MultiGraphOptions.java
@@ -83,7 +83,7 @@ public class MultiGraphOptions extends JDialog
 		pack();
 		setLocationRelativeTo(getParent()); // centre
 		//show();
-		setDefaultCloseOperation(javax.swing.JFrame.EXIT_ON_CLOSE);
+		setDefaultCloseOperation(javax.swing.JFrame.DISPOSE_ON_CLOSE);
 	}
 	
 }