-
Eike Hein authored
This is desired by a downstream distro which doesn't want hover effects in Task Manager. This also adds back a small tweak to support themes that don't ship a "hover" prefix in tasks.svgz that seems to have gotten lost along the way. It should go into the 5.9 branch to allow them to ship 5.9.
d1463b3f