+/*! The stacking layer the dock will reside in */
+extern ObStackingLayer config_dock_layer;
+/*! Is the dock floating */
+extern gboolean config_dock_floating;
+/*! Where to place the dock if not floating */
+extern ObDirection config_dock_pos;
+/*! If config_dock_floating, this is the top-left corner's
+ position */
+extern gint config_dock_x;
+/*! If config_dock_floating, this is the top-left corner's
+ position */
+extern gint config_dock_y;
+/*! Whether the dock places the dockapps in it horizontally or vertically */
+extern ObOrientation config_dock_orient;
+/*! Whether to auto-hide the dock when the pointer is not over it */
+extern gboolean config_dock_hide;
+/*! The number of milliseconds to wait before hiding the dock */
+extern guint config_dock_hide_timeout;
+
+/* The name of the theme */
+extern char *config_theme;
+
+/* Titlebar button layout */
+extern gchar *config_title_layout;
+
+/*! The number of desktops */
+extern int config_desktops_num;
+/*! Names for the desktops */
+extern GSList *config_desktops_names;