From: Mikael Magnusson <mikachu@comhem.se>
Date: Sun, 20 May 2007 15:01:01 +0000 (+0000)
Subject: remove unused config_menu_warppointer
X-Git-Url: https://git.brokenzipper.com/gitweb?a=commitdiff_plain;h=928305d0b7ba46db3608cab8564c0cd0ec1a0724;p=chaz%2Fopenbox

remove unused config_menu_warppointer
---

diff --git a/openbox/config.c b/openbox/config.c
index 6a45005d..c007de53 100644
--- a/openbox/config.c
+++ b/openbox/config.c
@@ -77,7 +77,6 @@ guint config_keyboard_reset_state;
 gint config_mouse_threshold;
 gint config_mouse_dclicktime;
 
-gboolean config_menu_warppointer;
 guint    config_menu_hide_delay;
 gboolean config_menu_middle;
 guint    config_submenu_show_delay;
@@ -882,7 +881,6 @@ void config_startup(ObParseInst *i)
 
     parse_register(i, "resistance", parse_resistance, NULL);
 
-    config_menu_warppointer = TRUE;
     config_menu_hide_delay = 250;
     config_menu_middle = FALSE;
     config_submenu_show_delay = 0;
diff --git a/openbox/config.h b/openbox/config.h
index 6a0ee33c..a1598b8c 100644
--- 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 */