-extern guint config_dock_hide_timeout;
-
-/* The name of the theme */
-extern char *config_theme;
-
-/* Titlebar button layout */
+extern guint config_dock_hide_delay;
+/*! The number of microseconds to wait before showing the dock */
+extern guint config_dock_show_delay;
+/*! The mouse button to be used to move dock apps */
+extern guint config_dock_app_move_button;
+/*! The modifiers to be used with the button to move dock apps */
+extern guint config_dock_app_move_modifiers;
+
+/*! The name of the theme */
+extern gchar *config_theme;
+
+/*! Show the one-pixel border after toggleDecor */
+extern gboolean config_theme_keepborder;
+/*! Titlebar button layout */