| Mon, 10 Dec 2012 21:55:57 +0100 | wenzelm | separate instance of class Parameters for each Main_Panel -- avoid global program state; | changeset | files |
| Mon, 10 Dec 2012 21:28:01 +0100 | wenzelm | discontinued long names flag -- better done via entity markup, without affecting layout; | changeset | files |
| Mon, 10 Dec 2012 20:52:57 +0100 | wenzelm | tuned; | changeset | files |