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.xml | |
| 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.xml')
| -rw-r--r-- | data/rc.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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"> |