From b3df07c192983028384018ed2f7bca26de3af064 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 26 Feb 2012 21:54:11 +0000
Subject: [PATCH] Load model/prop labels when showing cex in GUI simulator.

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

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index eea6b4b7..39d559ec 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -606,6 +606,14 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 	public void a_loadPath(PathFullInfo pathNew)
 	{
 		try {
+			// get properties constants/labels
+			PropertiesFile pf;
+			try {
+				pf = getPrism().parsePropertiesString(parsedModel, guiProp.getConstantsString().toString() + guiProp.getLabelsString());
+			} catch (PrismLangException e) {
+				// ignore properties if they don't parse
+				pf = null; //if any problems
+			}
 			// Insert path table
 			tableScroll.setViewportView(pathTable);
 
@@ -619,7 +627,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 			pathTableModel.restartPathTable();
 			pathTable.getSelectionModel().setSelectionInterval(0, 0);
 			updateTableModel.restartUpdatesTable();
-			//repopulateFormulae(pf);
+			repopulateFormulae(pf);
 			// Update display
 			repaintLists();
 			updatePathInfoAll(null);