Typo.

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

prism/src/userinterface/simulator/GUISimulator.java

@@ -1655,7 +1655,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 		};		
 		configureView.putValue(Action.LONG_DESCRIPTION, "Configures the view.");
 		configureView.putValue(Action.MNEMONIC_KEY, new Integer(KeyEvent.VK_C));
-		configureView.putValue(Action.NAME, "Configure View");
+		configureView.putValue(Action.NAME, "Configure view");
 		configureView.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("smallOptions.png"));
 		
 		pathPopupMenu = new JPopupMenu();