diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-08-03 20:40:13 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-08-03 20:40:13 -0400 |
| commit | 3b4b52921adba74472904b37ec13d9c8d8686a10 (patch) | |
| tree | ed7690ff11bb1e70562d14f885e9f3cd7ff5ede5 /data | |
| parent | 1ed9988132cb57a94508e20bd50b98b673d576a3 (diff) | |
show a popup notification when switching desktops (also make all the config options export time in milliseconds not half milli half micro)
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 ff5830dc..b28bf1a9 100644 --- a/data/rc.xml +++ b/data/rc.xml @@ -116,6 +116,9 @@ <name>desktop 2</name> --> </names> + <popupTime>500</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"/> |