From 77ee361f5cedb415c1189b0a75bde83a1a275f35 Mon Sep 17 00:00:00 2001
From: Dana Jansens <danakj@orodu.net>
Date: Fri, 16 Apr 2010 18:55:33 -0400
Subject: 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>
---
 data/rc.xml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'data/rc.xml')

diff --git a/data/rc.xml b/data/rc.xml
index d1b387a1..e4376a4b 100644
--- a/data/rc.xml
+++ b/data/rc.xml
@@ -318,6 +318,9 @@
   <!-- 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 -->
+  <screenEdgeWarpMouse>false</screenEdgeWarpMouse>
+  <!-- Set this to TRUE to move the mouse pointer across the desktop when
+       switching due to hitting the edge of the screen -->
 
   <context name="Frame">
     <mousebind button="A-Left" action="Press">
-- 
cgit v1.2.3