| Fri, 05 Oct 2012 14:32:56 +0200 | wenzelm | further support for nested tooltips; | changeset | files |
| Fri, 05 Oct 2012 13:57:48 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 05 Oct 2012 13:48:22 +0200 | wenzelm | refer to parent frame -- relevant for floating dockables in particular; | changeset | files |
| Fri, 05 Oct 2012 12:11:23 +0200 | wenzelm | tuned window position to fit on screen; | changeset | files |