diff --git a/src/de/mpg/molgen/buczek/portifix/Gui.java b/src/de/mpg/molgen/buczek/portifix/Gui.java index 93312fe..e1cf357 100644 --- a/src/de/mpg/molgen/buczek/portifix/Gui.java +++ b/src/de/mpg/molgen/buczek/portifix/Gui.java @@ -122,7 +122,7 @@ private void updateForm() { private void startEdit() { jTable1.setEnabled(false); - setTreeEnabled(jTable1, false); + // setTreeEnabled(jTable1, false); jButton_refresh.setEnabled(false); jButton_saveall.setEnabled(true); jButton_savethis.setEnabled(true); @@ -131,7 +131,7 @@ private void startEdit() { private void stopEdit() { jTable1.setEnabled(true); - setTreeEnabled(jTable1, true); + // setTreeEnabled(jTable1, true); jButton_refresh.setEnabled(true); jButton_saveall.setEnabled(false); jButton_savethis.setEnabled(false); @@ -194,6 +194,13 @@ public void valueChanged(ListSelectionEvent e) { } }); + /* + jTable1.addMouseListener(new MouseAdapter(){ + public void mouseClicked(MouseEvent e) { + stopEdit(); + } + }); + */ /* default JTable.DateRenderer uses a Date Format we dont like ( "Feb 20, 1962") . So we set a DefaultTableCellRenderer for Date (and derived classes) which uses toString(). Our MyDate class has