Workspace tool: edit button and no more ajax
Workspace tools can be renamed easily
Desktop tools can be reordered without ajax.
Redirections for tools parameters.
Sets favourite workspaces as default in workspace widget if not empty
collapse update
Merge pull request #808 from solispauwels/master

collapse update
updater 3.2
Merge pull request #810 from solispauwels/master

updater 3.2
Fixing the installer.
Merge pull request #811 from ngodfraind/fixing-installer

Fixing the installer.
Merge pull request #807 from kitan1982/workspace-widget-default

Sets favourite workspaces as default in workspace widget if not empty
bugfix
Merge pull request #812 from ngodfraind/fixing-messagery

bugfix
Merge pull request #775 from ngodfraind/ergonomy-tools-permissions

Ergonomy tools permissions