/** * handle event * * @param e event */ public void keyReleased(KeyEvent e) { if (e.isControlDown() && (e.getKeyCode() == KeyEvent.VK_P)) { List selectionSet = getSelection(); if (selectionSet.size() == 1) { showProperties((MetSymbol) selectionSet.get(0)); } return; } super.keyReleased(e); }