| Sat, 24 Aug 2013 21:23:40 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 24 Aug 2013 18:29:23 +0200 | wenzelm | confine popup to parent component, to avoid javax.swing.PopupFactory$HeavyWeightPopup and its problems with Linux window management and Mac OS X key handling; | changeset | files |
| Sat, 24 Aug 2013 17:41:57 +0200 | wenzelm | strict checking of coordinates wrt. inner painter component; | changeset | files |
| Sat, 24 Aug 2013 17:39:18 +0200 | wenzelm | more static values; | changeset | files |
| Sat, 24 Aug 2013 16:06:15 +0200 | wenzelm | support more brackets; | changeset | files |
| Sat, 24 Aug 2013 15:34:09 +0200 | wenzelm | prefer static "control", which is determined when the mouse event happens, not when its action runs; | changeset | files |
| Sat, 24 Aug 2013 15:30:50 +0200 | wenzelm | tuned signature; | changeset | files |