From 38a8c28958b269920a5759756a6633e5593d3a05 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 28 Apr 2008 12:30:15 +0000 Subject: [PATCH] Text fix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@773 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/properties/GUIMultiProperties.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java index cc60a4c8..eb981372 100644 --- a/prism/src/userinterface/properties/GUIMultiProperties.java +++ b/prism/src/userinterface/properties/GUIMultiProperties.java @@ -1780,7 +1780,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List }; details.putValue(Action.LONG_DESCRIPTION, "Shows the details for the currently selected properties in a dialog box."); details.putValue(Action.MNEMONIC_KEY, new Integer(KeyEvent.VK_D)); - details.putValue(Action.NAME, "Show Details"); + details.putValue(Action.NAME, "Show details"); details.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("smallDetails.png")); verifySelected = new AbstractAction()