From 3afdc1b7084a106d7cd847025ebfc7a95f94dfea Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 27 Feb 2012 10:43:28 +0000
Subject: [PATCH] Bugfix: loading new path into simulator should select end
 state of path.

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

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 39d559ec..549d75b1 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -625,7 +625,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 			setPathActive(true);
 			pathTableModel.setPath(engine.getPathFull());
 			pathTableModel.restartPathTable();
-			pathTable.getSelectionModel().setSelectionInterval(0, 0);
+			int last = pathTable.getRowCount() - 1;
+			pathTable.getSelectionModel().setSelectionInterval(last, last);
 			updateTableModel.restartUpdatesTable();
 			repopulateFormulae(pf);
 			// Update display