diff options
| author | hdaniels <unknown> | 2005-06-23 10:18:36 +0000 |
|---|---|---|
| committer | hdaniels <unknown> | 2005-06-23 10:18:36 +0000 |
| commit | c9b5a36e03b6ca60bd905ca10e308da78fac3a25 (patch) | |
| tree | 16c477ebd5714c87613323f22b1c14a294c6e4b1 /src | |
| parent | c68aa2b0e6d5eba3920d7ee62e6f0a4bb795f35b (diff) | |
changed 'Open' into 'Open Text' and 'New Topic' into 'New Grammar'
Diffstat (limited to 'src')
| -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) {
|