Hide the animation speed slider on Plasma as this becomes duplicated
with the global "animation speed" slider.
Also port to the new format for the config option which stores the
actual multiplier, not a magic number.
zzag |
Hide the animation speed slider on Plasma as this becomes duplicated
with the global "animation speed" slider.
Also port to the new format for the config option which stores the
actual multiplier, not a magic number.
Didn't appear normally
Manually modified env; slider appeared
Tested load/save of defaults and the two extremes
Automatic diff as part of commit; lint not applicable. |
Automatic diff as part of commit; unit tests not applicable. |