From 9fb8080f49103354af7a8635716293f02b453aac Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 21 Apr 2008 13:53:55 +0000
Subject: [PATCH] GUI bug fix: null pointer when graph dialog closed.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@764 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIGraphPicker.java | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/prism/src/userinterface/properties/GUIGraphPicker.java b/prism/src/userinterface/properties/GUIGraphPicker.java
index 3dfe2f61..a2908049 100644
--- a/prism/src/userinterface/properties/GUIGraphPicker.java
+++ b/prism/src/userinterface/properties/GUIGraphPicker.java
@@ -87,8 +87,11 @@ public class GUIGraphPicker extends javax.swing.JDialog
         this.experiment = experiment;
         this.graphHandler = graphHandler;        
         this.resultsCollection = experiment.getResults();        
-                
-        this.graphCancelled = false;
+        
+        // graphCancelled will be set explictly to false when the OK button is pressed
+        // (this means if the user closes the dialog, this counts as a cancel)
+        this.graphCancelled = true;
+        
         this.multiSeries = new Vector<DefinedConstant>();
        
         initComponents();