From ae1db7aed12cf7c25d9133e74c1ce410cebf0ca7 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Mon, 22 Oct 2007 10:30:33 +0000
Subject: [PATCH] Path view remembered when model reloaded

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

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 419ebf56..822bad1f 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -2724,8 +2724,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 					canUseCurrentView = false;
 				}
 			}
-			
-			if (!canUseCurrentView)
+						
+			if (!canUseCurrentView && pathActive)
 			{	
 				visibleVariables.clear();
 				hiddenVariables.clear();			
@@ -2740,7 +2740,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 					GUISimulator.this.setRenderer(useChangeRenderer);
 				}
 				
-				if (pathActive)
+				
 				{
 					try
 					{
@@ -2775,7 +2775,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 						
 						
 					}
-					catch (SimulatorException e) {}
+					catch (SimulatorException e) {}					
 				}
 			}
 			this.setChanged();