void (Keymap keymap, Shortcut shortcut, KeyStroke stroke, List<? super NamedFailure> failures) { if (stroke != null) { int modifiers = stroke.getModifiers(); int keyCode = stroke.getKeyCode(); if (KeyEvent.VK_F1 <= keyCode && keyCode <= KeyEvent.VK_F12 && (modifiers & InputEvent.CTRL_MASK) != 0 && (modifiers & InputEvent.ALT_MASK) != 0 && (modifiers & InputEvent.SHIFT_MASK) == 0) { failures.add(new NamedFailure("bad shortcut in " + keymap.getName() + ": " + stroke, String.format("Invalid shortcut '%s' for action(s) %s in keymap '%s' " + "(Ctrl-Alt-Fn shortcuts switch Linux virtual terminals (causes newbie panic), " + "so either assign another shortcut, or remove it; see Keymap_XWin.xml for reference).", shortcut, List.of(keymap.getActionIds(shortcut)), keymap.getName()))); } } }