From 97792a403a52c12c2601a7b2caebdea197f0b5f0 Mon Sep 17 00:00:00 2001
From: Dana Jansens <danakj@orodu.net>
Date: Sat, 23 Jun 2007 19:52:09 +0000
Subject: warp desktops when you hit the edge of the screen while moving a
 window

---
 data/rc.xml | 4 ++++
 data/rc.xsd | 1 +
 2 files changed, 5 insertions(+)

(limited to 'data')

diff --git a/data/rc.xml b/data/rc.xml
index 1a4230c7..6bbc34a8 100644
--- a/data/rc.xml
+++ b/data/rc.xml
@@ -232,6 +232,10 @@
   <!-- number of pixels the mouse must move before a drag begins -->
   <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 -->
 
   <context name="Frame">
     <mousebind button="A-Left" action="Press">
diff --git a/data/rc.xsd b/data/rc.xsd
index 3e6b312b..89bed98c 100644
--- a/data/rc.xsd
+++ b/data/rc.xsd
@@ -142,6 +142,7 @@
     <xsd:complexType name="mouse">
         <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 maxOccurs="unbounded" name="context" type="ob:context"/>
     </xsd:complexType>
     <xsd:complexType name="menu">
-- 
cgit v1.2.3