From 2d0ba5467a235bd76b111a218130a17d50f1efb6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Feb 2008 12:31:20 +0000
Subject: [PATCH] Typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@565 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index aa7d8edf..a0b2fd6a 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/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();