| Tue, 10 Aug 2010 15:12:45 +0200 | wenzelm | removed obsolete methods for (ML) commands; | changeset | files |
| Tue, 10 Aug 2010 14:24:13 +0200 | wenzelm | prefer Nimbus look and feel on all platforms, instead of the somewhat ugly javax.swing.plaf.metal.MetalLookAndFeel, which presumably is implicit fall-back nonetheless; | changeset | files |
| Tue, 10 Aug 2010 14:15:50 +0200 | wenzelm | edit_document: synchronous reply to ensure consistent state wrt. calling (AWT) thread; | changeset | files |