| Mon, 26 Nov 2012 11:59:56 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Nov 2012 11:42:16 +0100 | wenzelm | always reset active areas; | changeset | files |
| Mon, 26 Nov 2012 10:37:05 +0100 | wenzelm | no special treatment of control_reset, in accordance to other control styles; | changeset | files |