-
Committer:
Marco Trevisan (Treviño)
-
Author(s):
Eleni Maria Stea
-
Date:
2016-07-14 15:51:05 UTC
-
Revision ID:
mail@3v1n0.net-20160714155105-oxtgetb0ot5cy6vh
Added a new option in show desktop plugin that skips the fade animation: useful when performance is more important than eyecandy.