D: omnipresent (on all desktops).
-->
<keepBorder>yes</keepBorder>
- <hideDisabled>no</hideDisabled>
<animateIconify>yes</animateIconify>
<font place="ActiveWindow">
<name>sans</name>
</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>