extern gboolean config_theme_hidedisabled;
/*! Titlebar button layout */
extern gchar *config_title_layout;
-/*! Append a unique number to windows with same titles */
-extern gboolean config_title_number;
/*! The font for the active window's title */
extern RrFont *config_font_activewindow;
/*! Warp near edge on menu? */
extern gboolean config_menu_warppointer;
-/*! make menus jump around a lot */
-extern gboolean config_menu_xorstyle;
/*! delay for hiding menu when opening */
extern guint config_menu_hide_delay;
/*! Center menus vertically about the parent entry */