| Fri, 05 Oct 2012 11:36:46 +0200 | wenzelm | determine window size from content; | changeset | files |
| Fri, 05 Oct 2012 11:09:24 +0200 | wenzelm | tuned color and font size; | changeset | files |
| 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 |