From 41ad029281854cf9a7c354e14c20ad4b5cdcf62a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 28 Jun 2012 19:40:12 +0000
Subject: [PATCH] Default to "changes" in "plot path details" dialog.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5394 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUIPathPlotDialog.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/userinterface/simulator/GUIPathPlotDialog.java b/prism/src/userinterface/simulator/GUIPathPlotDialog.java
index bf0f407d..350bdb70 100644
--- a/prism/src/userinterface/simulator/GUIPathPlotDialog.java
+++ b/prism/src/userinterface/simulator/GUIPathPlotDialog.java
@@ -258,6 +258,7 @@ public class GUIPathPlotDialog extends JDialog
 			textFieldTime.setText("100");
 			textFieldInterval.setText("");
 		}
+		comboBoxShow.setSelectedItem(ShowChoice.CHANGES);
 
 		this.getRootPane().setDefaultButton(okButton);
 		setLocationRelativeTo(getParent()); // centre