From 613463ef8bbfdec53823aede5229db2eca443044 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 13 Feb 2008 13:29:51 +0000
Subject: [PATCH] Bug fix: double click for new sim path sometimes broken.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@561 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 9afaf31e..7c622915 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -337,8 +337,6 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 		Values initialState;
 		try
 		{
-			tableScroll.setViewportView(pathTable);
-			
 			// get properties constants/labels
 			PropertiesFile pf;
 			try
@@ -433,6 +431,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 				 initialState = lastInitialState;
 			}			
 			
+			tableScroll.setViewportView(pathTable);
+			
 			displayPathLoops = true;
 			engine.startNewPath(parsedModel, pf, initialState);
 			//engine.setPropertyConstants(lastPropertyConstants);