On showing the working set tooltip when switching documents

[Niko Sams]

> Thanks, but why not follow aleix's proposal to just not show it when the
> tabbar is visible? Or at least by making it smaller (scrollbar when too many
> (10+?) docs are open). And prevent the case where the tooltip wont hide when
> the mouse was below it by accident.
Tabs are great for a small number of open documents.
And this switcher is for a larget number of open documents.
Tabs also work when switching eg. the first 3 documents

Please keep both possibilities.

Niko