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

@@ -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);