diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-06-23 19:52:09 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-06-23 19:52:09 +0000 |
| commit | 97792a403a52c12c2601a7b2caebdea197f0b5f0 (patch) | |
| tree | 670e164358ee8b3e9717cd2969a702151173ef79 /data/rc.xml | |
| parent | d933f5c11f1bdb2a6dca89a2a23d325e63dc2eee (diff) | |
warp desktops when you hit the edge of the screen while moving a window
Diffstat (limited to 'data/rc.xml')
| -rw-r--r-- | data/rc.xml | 4 |
1 files changed, 4 insertions, 0 deletions
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"> |