| Tue, 30 Jun 2009 21:19:32 +0200 | wenzelm | renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing; | changeset | files |
| Tue, 30 Jun 2009 00:57:24 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2009 00:50:42 +0200 | wenzelm | more display; | changeset | files |
| Tue, 30 Jun 2009 00:57:06 +0200 | wenzelm | added icon; | changeset | files |