+/*! Number of milliseconds that the mouse has to be on the screen edge before
+ a screen edge event is triggered */
+extern gint config_mouse_screenedgetime;
+/*! When TRUE, the mouse is warped to the other side of the desktop after
+ switching desktops from bumping the screen edge */
+extern gboolean config_mouse_screenedgewarp;
+
+/*! Number of pixels to resist while crossing another window's edge */
+extern gint config_resist_win;
+/*! Number of pixels to resist while crossing a screen's edge */
+extern gint config_resist_edge;
+
+/*! Delay for hiding menu when opening in milliseconds */
+extern guint config_menu_hide_delay;
+/*! Center menus vertically about the parent entry */
+extern gboolean config_menu_middle;
+/*! Delay before opening a submenu in milliseconds */
+extern guint config_submenu_show_delay;
+/*! Delay before closing a submenu in milliseconds */
+extern guint config_submenu_hide_delay;
+/*! Show manage desktops in client_list_menu */
+extern gboolean config_menu_manage_desktops;
+/*! Load & show icons in user-defined menus */
+extern gboolean config_menu_show_icons;
+/*! User-specified menu files */
+extern GSList *config_menu_files;
+/*! Per app settings */
+extern GSList *config_per_app_settings;
+
+void config_startup(ObtXmlInst *i);
+void config_shutdown(void);