diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 3d816a7b..6f41b444 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -1552,6 +1552,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect //newPathPlot.putValue(Action.MNEMONIC_KEY, new Integer(KeyEvent.VK_N)); newPathPlot.putValue(Action.NAME, "Plot new path"); newPathPlot.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("smallFileGraph.png")); + newPathPlot.putValue(Action.ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_F8, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask())); newPathPlotFromState = new AbstractAction() {