[1.8] Allow cycling through workspaces

[AlbertJP]

To add this option to cinnamon settings I have also done a pull request at Cinnamon:

[dalcde]

@AlbertJP Can you update debian/libmuffin0.symbols as well? It doesn't build with dpkg-buildpackage otherwise.

[dalcde]

Is the requirement of restarting cinnamon a bug?

[AlbertJP]

@dalcde If you don't want to restart cinnamon, it would require having muffin listen to changes in gsettings. It already does so for the edge-tiling key so maybe it can be done as well for the workspace-cycle key.

[dalcde]

I think muffin listens to changes of all keys.

pref.c line 833-834:

settings = g_settings_new (SCHEMA_MUFFIN);
g_signal_connect (settings, "changed", G_CALLBACK (settings_changed), NULL);

[AlbertJP]

@dalcde I was unaware that it already listened to that. Actually it doesn't require restarting Cinnamon at all.
I have removed the text "requires Cinnamon restart": AlbertJP/Cinnamon@2457f6a

[autarkper]

As noted by @dalcde some time ago, this will still not build with dpkg-buildpackage.

[AlbertJP]

@dalcde @autarkper I've rebased on current master and added the symbol.