diff options
| author | Dana Jansens <danakj@orodu.net> | 2010-04-16 18:55:33 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2010-04-16 21:32:38 -0400 |
| commit | 77ee361f5cedb415c1189b0a75bde83a1a275f35 (patch) | |
| tree | 40f07ac06f38478cfa0767ccad1e4ea79234c80b /data/rc.xsd | |
| parent | b05ac359b8a5a91cd2a115ba4612e8acfdf1d8d6 (diff) | |
allow warping the mouse pointer when switching desktops by bumping into the edge of the monitor with a window
based on a patch by Nathaniel Gephart <computinchuck@gmail.com>
Diffstat (limited to 'data/rc.xsd')
| -rw-r--r-- | data/rc.xsd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/rc.xsd b/data/rc.xsd index 2fed1f48..3a1d654a 100644 --- a/data/rc.xsd +++ b/data/rc.xsd @@ -210,6 +210,7 @@ <xsd:element minOccurs="0" name="dragThreshold" type="xsd:integer"/> <xsd:element minOccurs="0" name="doubleClickTime" type="xsd:integer"/> <xsd:element minOccurs="0" name="screenEdgeWarpTime" type="xsd:integer"/> + <xsd:element minOccurs="0" name="screenEdgeWarpMouse" type="ob:bool"/> <xsd:element maxOccurs="unbounded" name="context" type="ob:context"/> </xsd:sequence> </xsd:complexType> |
