| Mon, 08 Oct 2012 12:54:00 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 08 Oct 2012 12:40:35 +0200 | wenzelm | use Pretty_Tooltip for Graphview_Panel; | changeset | files |
| Mon, 08 Oct 2012 12:02:32 +0200 | wenzelm | more basic tooltips; | changeset | files |
| Sun, 07 Oct 2012 16:26:31 +0200 | wenzelm | close tooltips more thoroughly; | changeset | files |
| Sun, 07 Oct 2012 16:15:31 +0200 | wenzelm | make buttons closer to original mouse position; | changeset | files |
| Sun, 07 Oct 2012 16:05:31 +0200 | wenzelm | detach tooltip as dockable window; | changeset | files |