Hi, I see that this is a low priority, and there are of course much bigger issues to address. Knowing this, does anyone know when this will be fixed? -- tooltip on desktop switcher behaves incorrectly https://launchpad.net/bugs/63483