diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-05-07 16:49:27 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-05-07 16:49:27 +0000 |
| commit | 37e2be2a57a218bd671e2e4b056643fbb248ad02 (patch) | |
| tree | d8e834c64666b993c69c500d5df5e46ed6fe5467 /data/rc.xml.in | |
| parent | 73348c28de6d2c1b554476134dd78fda8ea9a9e1 (diff) | |
fix a crash after reconfigure, the desktop names were not being re-set. so now they aren't deleted since we don't want to change them over a reconfigure anyways.
Diffstat (limited to 'data/rc.xml.in')
| -rw-r--r-- | data/rc.xml.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/data/rc.xml.in b/data/rc.xml.in index 66880d7f..35cc4cfb 100644 --- a/data/rc.xml.in +++ b/data/rc.xml.in @@ -92,11 +92,11 @@ </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> |
