| Tue, 11 May 2010 10:36:50 +0200 | wenzelm | disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin); | changeset | files |
| Mon, 10 May 2010 23:46:49 +0200 | wenzelm | simple dialogs: ensure Swing thread; | changeset | files |
| Mon, 10 May 2010 23:36:47 +0200 | wenzelm | font size re-adjustment according to Lobo internals; | changeset | files |
| Mon, 10 May 2010 22:29:27 +0200 | wenzelm | Scala for Netbeans 6.8v1.1.0rc2; | changeset | files |
| Mon, 10 May 2010 22:27:58 +0200 | wenzelm | more convenient get_font; | changeset | files |
| Mon, 10 May 2010 20:53:06 +0200 | wenzelm | renamed Config.get_thy to Config.get_global etc. to indicate that this is not the real thing; | changeset | files |