rewrite key stroke handling; now multi-platform, overridable by prefs

This commit is contained in:
Ben Fry
2019-01-22 18:28:43 -05:00
parent 7950eb379b
commit 1964bf65cb
6 changed files with 66 additions and 66 deletions

View File

@@ -1384,8 +1384,7 @@ public class JavaEditor extends Editor {
// });
// debugMenu.add(item);
item = Toolkit.newJMenuItem(Language.text("menu.debug.step"),
Language.text("menu.debug.step.keystroke"));
item = Toolkit.newJMenuItemExt("menu.debug.step");
item.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
handleStep(0);
@@ -1394,8 +1393,7 @@ public class JavaEditor extends Editor {
debugMenu.add(item);
item.setEnabled(false);
item = Toolkit.newJMenuItem(Language.text("menu.debug.step_into"),
Language.text("menu.debug.step_into.keystroke"));
item = Toolkit.newJMenuItemExt("menu.debug.step_into");
item.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
handleStep(ActionEvent.SHIFT_MASK);
@@ -1404,8 +1402,7 @@ public class JavaEditor extends Editor {
debugMenu.add(item);
item.setEnabled(false);
item = Toolkit.newJMenuItem(Language.text("menu.debug.step_out"),
Language.text("menu.debug.step_out.keystroke"));
item = Toolkit.newJMenuItemExt("menu.debug.step_out");
item.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
handleStep(ActionEvent.ALT_MASK);