From: Mikael Magnusson 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 */