From 71b207746ca682462e03ceb479ad1bf4f0e06418 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 17 Sep 2013 08:39:01 +0000
Subject: [PATCH] Remove confusing GUI question dialog.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7400 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 947dbc88..e807a649 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -2249,13 +2249,13 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 	{
 		displayStyleFast = settings.getInteger(PrismSettings.SIMULATOR_RENDER_ALL_VALUES) == 0;
 
-		if (displayStyleFast != view.isChangeRenderer()) {
+		/*if (displayStyleFast != view.isChangeRenderer()) {
 			String[] answers = { "Yes", "No" };
 			if (GUISimulator.this.question("You have changed the default rendering style of paths. Do you wish \nto reflect this in your current trace?",
 					answers, 0) == 0) {
 				view.setRenderer(displayStyleFast);
 			}
-		}
+		}*/
 	}
 
 	/**