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

@@ -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);
 	}
 	
 }