remove unused config_menu_warppointer

This commit is contained in:
Mikael Magnusson 2007-05-20 15:01:01 +00:00
parent 598199425d
commit 928305d0b7
2 changed files with 0 additions and 4 deletions

View file

@ -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;

View file

@ -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 */