Make the hover state optional.

Authored by hein on Feb 27 2017, 11:22 AM.

Description

Make the hover state optional.

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.

Details

Committed
heinFeb 27 2017, 11:35 AM
Differential Revision
D4819: Make the hover state optional.
Parents
R119:c88e4bff746c: Make the hover state optional.
Branches
Unknown
Tags
Unknown