void (@NotNull KeyEvent event) { KeyStroke keyStroke = KeyStroke.getKeyStrokeForEvent(event); if (contains(mySelectAllKeys, keyStroke)) { event.consume(); selectAll(); } else { keyPressed(event, contains(myDeleteKeys, keyStroke) ? DELETE_CODE : event.getKeyCode()); } }