remove unused config_menu_warppointer

[chaz/openbox] / openbox / config.h

diff --git a/openbox/config.h b/openbox/config.h
index 6a0ee33cb5d8dcefdb524ee09d047cfdf0a8e1e3..a1598b8c1b54771731e5830760df6f0df060f79c 100644 (file)
--- a/openbox/config.h
+++ b/openbox/config.h
@@ -150,8 +150,6 @@ extern gint config_resist_win;
 /*! Number of pixels to resist while crossing a screen's edge */
 extern gint config_resist_edge;
 
-/*! Warp near edge on menu? */
-extern gboolean config_menu_warppointer;
 /*! delay for hiding menu when opening */
 extern guint    config_menu_hide_delay;
 /*! Center menus vertically about the parent entry */