/**
* 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);
}
