Michel, yes, adding that option fixes the tooltips problem.
It also fixes another bug about artefacts when resizing windows. I attached a screencast. Downstream https://launchpad.net/bugs/1707893
Michel, yes, adding that option fixes the tooltips problem.
It also fixes another bug about artefacts when resizing windows. I attached a screencast. Downstream https:/ /launchpad. net/bugs/ 1707893