| Fri, 05 Oct 2012 10:54:07 +0200 | wenzelm | close tooltip window on escape; | changeset | files |
| Fri, 05 Oct 2012 10:23:49 +0200 | wenzelm | proper message markup for output; | changeset | files |
| Thu, 04 Oct 2012 20:36:10 +0200 | wenzelm | some re-ordering of initialization to ensure proper formatting; | changeset | files |