145146147148149150151152153154155
System.out.println(e.toString()); openMappedElement((JSElement) list.getSelectedValue(), classType, project); } }); list.addKeyListener(new KeyAdapter() { @Override public void keyPressed(KeyEvent e) { if (e.getKeyCode() == KeyEvent.VK_ENTER) {