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>