allow warping the mouse pointer when switching desktops by bumping into the edge...

[chaz/openbox] / openbox / config.h

diff --git a/openbox/config.h b/openbox/config.h
index 818dcc760ea3e1deee9ef4e2013787a31e8e6833..90b6581a0229de8550debf6582aa7254dc5c6f4e 100644 (file)
--- 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;