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 0e4ccb5cf0f0c80717aed2158f9b2e122caed00c..90b6581a0229de8550debf6582aa7254dc5c6f4e 100644 (file)
--- a/openbox/config.h
+++ b/openbox/config.h
@@ -38,6 +38,7 @@ struct _ObAppSettings
     GPatternSpec *class;
     GPatternSpec *name;
     GPatternSpec *role;
+    GPatternSpec *title;
     ObClientType  type;
 
     GravityPoint position;
@@ -179,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;