GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

changed 'Open' into 'Open Text' and 'New Topic' into 'New Grammar'

Browse Source
This commit is contained in:
hdaniels
2005-06-23 10:18:36 +00:00
parent be6a1a40d9
commit e7cc6fa808
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
View File

@@ -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) {