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 /openbox/config.h | |
| 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 'openbox/config.h')
| -rw-r--r-- | openbox/config.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/openbox/config.h b/openbox/config.h index 818dcc76..90b6581a 100644 --- a/openbox/config.h +++ b/openbox/config.h @@ -180,6 +180,9 @@ extern gint config_mouse_dclicktime; /*! Number of milliseconds that the mouse has to be on the screen edge before a screen edge event is triggered */ extern gint config_mouse_screenedgetime; +/*! When TRUE, the mouse is warped to the other side of the desktop after + switching desktops from bumping the screen edge */ +extern gboolean config_mouse_screenedgewarp; /*! Number of pixels to resist while crossing another window's edge */ extern gint config_resist_win; |