</theme>
<desktops>
+ <!-- this stuff is only used at startup, pagers allow you to change them
+ during a session -->
<number>4</number>
<firstdesk>1</firstdesk>
<names>
- <!-- the desktop names are only set at startup, pagers allow you to
- change them during a session -->
<name>desktop one</name>
<name>desktop two</name>
<name>desktop three</name>