In order to do this nicely, the individual controls gained a signal
that indicates when interaction started or ended, so the tooltip can be
shown and hidden.
Currently it hides only when the mouse leaves the docker, but a timer
based or even instant auto-hide may be nicer.