| Wed, 31 Jul 2013 21:53:33 +0200 | wenzelm | NEWS; | changeset | files |
| Wed, 31 Jul 2013 21:49:29 +0200 | wenzelm | added home-made tooltips; | changeset | files |
| Wed, 31 Jul 2013 21:13:05 +0200 | wenzelm | home-grown mouse handling to pretend that the painted checkbox is actually a Swing component; | changeset | files |