replaced deprecated (since Java 9) KeyEvent.*_MASK with KeyEvent.*_DOWN_MASK

This commit is contained in:
Karl Tauber
2021-05-12 14:03:16 +02:00
parent 60fd78e082
commit 03b42749cd
3 changed files with 11 additions and 11 deletions

View File

@@ -527,7 +527,7 @@ public class FlatThemeFileEditor
//---- previousEditorMenuItem ----
previousEditorMenuItem.setText("Previous Editor");
previousEditorMenuItem.setMnemonic('P');
previousEditorMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()|KeyEvent.SHIFT_MASK));
previousEditorMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()|KeyEvent.SHIFT_DOWN_MASK));
previousEditorMenuItem.addActionListener(e -> previousEditor());
windowMenu.add(previousEditorMenuItem);
}