mate-desktop/mate-panel — pull request #76 by muesli4 (2013-02-10 00:28:32+00:00)
Title: Wrap-arround for workspace switcher

I've added an option to make the workspace switcher wrap around work spaces when scrolling on it. It's a very small change.

Sadly I could not test it because I had problems with dependencies in the ubuntu mate dev packages (some libraries needed higher versions than offered in the repositories and I don't want to build it all by myself), so I could understand declining it.