Sets favourite workspaces as default in workspace widget if not empty
Merge pull request #807 from kitan1982/workspace-widget-default

Sets favourite workspaces as default in workspace widget if not empty