Changed/all-steps option in Path Plot Display dialog now respected.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5398 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/userinterface/simulator/GUIPathPlotDialog.java

@@ -331,6 +331,9 @@ public class GUIPathPlotDialog extends JDialog
 				return;
 			}
 		}
+		if ((ShowChoice) comboBoxShow.getSelectedItem() == ShowChoice.CHANGES) {
+			simPathString += ",changes=true";
+		}
 
 		cancelled = false;
 		dispose();