diff options
Diffstat (limited to 'src/JavaGUI2')
| -rw-r--r-- | src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java index 52e6d8d49..634f2c08b 100644 --- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java +++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java @@ -3444,8 +3444,8 @@ KeyListener, FocusListener { */
class OpenAction extends AbstractAction {
public OpenAction() {
- super("Open", null);
- putValue(SHORT_DESCRIPTION, "Opens abstract syntax trees or linearizations");
+ super("Open Text", null);
+ putValue(SHORT_DESCRIPTION, "Opens abstract syntax trees or linearizations for the current grammar");
putValue(MNEMONIC_KEY, new Integer(KeyEvent.VK_O));
putValue(ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_O, ActionEvent.CTRL_MASK));
}
@@ -3586,10 +3586,10 @@ KeyListener, FocusListener { */
class NewTopicAction extends AbstractAction {
public NewTopicAction() {
- super("New Topic", null);
+ super("New Grammar", null);
putValue(SHORT_DESCRIPTION, "dismiss current editing and load a new grammar");
- putValue(MNEMONIC_KEY, new Integer(KeyEvent.VK_T));
- putValue(ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_T, ActionEvent.CTRL_MASK));
+ putValue(MNEMONIC_KEY, new Integer(KeyEvent.VK_N));
+ putValue(ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_N, ActionEvent.CTRL_MASK));
}
public void actionPerformed(ActionEvent e) {
|