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