De-papercutting.
Added Urgent & Launch animation options to Unity > Launcher; papercuts elsewhere.
Fixed Unity > Launcher papercuts.
Added the backend to reset buttons on Unity > Launcher & Unity > Panel.
Added ability to 'reset' the Launcher's show desktop icon to the button.
Merge pull request #37 from snwh/master

Added Urgent & Launch animation options to Unity > Launcher; fixed papercuts
Added a combobox for picking the default sound menu player; fixed papercuts.
Merge pull request #38 from snwh/master

Added a combobox for picking the default sound menu player; fixed papercuts.
Fixed setting default media player
Fixed papercuts.
Fixed more papercuts.
Merge pull request #39 from snwh/master

Mostly papercuts.
Fixed more UI and wording papercuts.
Yes, more papercuts.
Add window manager animations to General; additional papercuts.
Merge pull request #40 from snwh/master

Added window manager animations to General; additional papercuts.
Minor fixes and a merge

* jokerdino/master:
  Added ability to 'reset' the Launcher's show desktop icon to the button.
  Added the backend to reset buttons on Unity > Launcher & Unity > Panel.
  Fixed Unity > Launcher papercuts.
  Added Urgent & Launch animation options to Unity > Launcher; papercuts elsewhere.
  De-papercutting.

Signed-off-by: J Phani Mahesh <phanimahesh@gmail.com>
Pull sam's improvements

* jokerdino/master:
  Add window manager animations to General; additional papercuts.
  Yes, more papercuts.
  Fixed more UI and wording papercuts.
  Fixed more papercuts.
  Fixed papercuts.
  Fixed setting default media player
  Added a combobox for picking the default sound menu player; fixed papercuts.