+/*! 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;
+
+/*! 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;
+/*! Show icons in client_list_menu */
+extern gboolean config_menu_client_list_icons;
+/*! Show manage desktops in client_list_menu */
+extern gboolean config_menu_manage_desktops;
+/*! User-specified menu files */
+extern GSList *config_menu_files;
+/*! Per app settings */
+extern GSList *config_per_app_settings;
+
+void config_startup(ObtParseInst *i);
+void config_shutdown(void);