From 957c0b300e64dba2deebd3e57071aa3119eec1e1 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 7 Nov 2006 10:53:22 +0000
Subject: [PATCH] 'New experiment' dialog remembers state of 'Create graph'
 tickbox.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@125 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIExperimentPicker.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/src/userinterface/properties/GUIExperimentPicker.java b/prism/src/userinterface/properties/GUIExperimentPicker.java
index e9e15f84..db88cefa 100644
--- a/prism/src/userinterface/properties/GUIExperimentPicker.java
+++ b/prism/src/userinterface/properties/GUIExperimentPicker.java
@@ -46,6 +46,7 @@ public class GUIExperimentPicker extends javax.swing.JDialog
 	
 	static ArrayList remember;
 	
+	static boolean lastGraph = true;
 	static boolean lastSimulation = false;
 	    
 	private boolean cancelled = true;
@@ -94,7 +95,7 @@ public class GUIExperimentPicker extends javax.swing.JDialog
 		if (offerGraph)
 		{
 			createGraphCheck.setEnabled(true);
-			createGraphCheck.setSelected(true);
+			createGraphCheck.setSelected(lastGraph);
 		} else
 		{
 			createGraphCheck.setEnabled(false);
@@ -467,6 +468,7 @@ public class GUIExperimentPicker extends javax.swing.JDialog
 				
 				cancelled = false;
 				rememberValues();
+				lastGraph = this.createGraphCheck.isSelected();
 				lastSimulation = this.useSimulationCheck.isSelected();
 				dispose();
 			}