Default to "changes" in "plot path details" dialog.

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

prism/src/userinterface/simulator/GUIPathPlotDialog.java

@@ -258,6 +258,7 @@ public class GUIPathPlotDialog extends JDialog
 			textFieldTime.setText("100");
 			textFieldInterval.setText("");
 		}
+		comboBoxShow.setSelectedItem(ShowChoice.CHANGES);
 
 		this.getRootPane().setDefaultButton(okButton);
 		setLocationRelativeTo(getParent()); // centre