Now it uses a ui file which makes it easier to maintain.
It brings together all options for multiple desktops. That is:
* number of desktops
* pager layout
* activity per desktop
* desktop names
* desktop effect for switching animation
* OSD on desktop switch
* Shortcuts for desktop changing
The plasma options (pager and activity) are still missing and currently disabled.
FEATURE: 129605
CCBUG: 153799
svn path=/trunk/KDE/kdebase/workspace/; revision=995230
Martin Gräßlin