diff options
| author | Mikael Magnusson <mikachu@comhem.se> | 2007-05-20 15:01:01 +0000 |
|---|---|---|
| committer | Mikael Magnusson <mikachu@comhem.se> | 2007-05-20 15:01:01 +0000 |
| commit | 928305d0b7ba46db3608cab8564c0cd0ec1a0724 (patch) | |
| tree | e6ab06bf1631b6940c84f9effbb81800d7fa709f /openbox/config.h | |
| parent | 598199425d0871f1ed0110f1af1d2362f21ebb2c (diff) | |
remove unused config_menu_warppointer
Diffstat (limited to 'openbox/config.h')
| -rw-r--r-- | openbox/config.h | 2 |
1 files changed, 0 insertions, 2 deletions
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 */ |