((Device)(PatchEdit.deviceList.get(table2.getSelectedRow()))).showDetails();
((Device)(PatchEdit.appConfig.getDevice(table2.getSelectedRow()))).showDetails();
    void DetailPressed ()    {        table=table2;         if ((table2.getSelectedRow ()==-1)) return;        ((Device)(PatchEdit.deviceList.get(table2.getSelectedRow()))).showDetails();          ((SynthTableModel)table.getModel ()).fireTableDataChanged ();      }