diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-08-04 23:35:36 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-08-04 23:35:36 -0400 |
| commit | f55ae9e56945892825928cfb021b5e739d0d5224 (patch) | |
| tree | 19a26efae2532bc046160289adca8a8dc45ac3a7 /data | |
| parent | 98b9ed97ebbcf22185359c8f6f1d539a105cd258 (diff) | |
| parent | fa085b73389de3af8236919f4e39c4c20d16ed7c (diff) | |
Merge branch 'backport'
Diffstat (limited to 'data')
| -rw-r--r-- | data/rc.xml | 9 | ||||
| -rw-r--r-- | data/rc.xsd | 1 |
2 files changed, 7 insertions, 3 deletions
diff --git a/data/rc.xml b/data/rc.xml index caa38c67..e54cb04d 100644 --- a/data/rc.xml +++ b/data/rc.xml @@ -116,6 +116,9 @@ <name>desktop 2</name> --> </names> + <popupTime>875</popupTime> + <!-- The number of milliseconds to show the popup for when switching + desktops. Set this to 0 to disable the popup. --> </desktops> <resize> @@ -261,9 +264,9 @@ <doubleClickTime>200</doubleClickTime> <!-- in milliseconds (1000 = 1 second) --> <screenEdgeWarpTime>400</screenEdgeWarpTime> - <!-- time before changing desktops when the pointer touches the edge of the - screen while moving a window, in milliseconds (1000 = 1 second), - 0 disables warping --> + <!-- Time before changing desktops when the pointer touches the edge of the + screen while moving a window, in milliseconds (1000 = 1 second). + Set this to 0 to disable warping --> <context name="Frame"> <mousebind button="A-Left" action="Press"> diff --git a/data/rc.xsd b/data/rc.xsd index 24a0f91f..adafc5f4 100644 --- a/data/rc.xsd +++ b/data/rc.xsd @@ -89,6 +89,7 @@ <xsd:element maxOccurs="unbounded" name="name" type="xsd:string"/> </xsd:complexType> </xsd:element> + <xsd:element minOccurs="0" name="popupTime" type="xsd:integer"/> </xsd:complexType> <xsd:complexType name="resize"> <xsd:element minOccurs="0" name="drawContents" type="ob:bool"/> |