rename dock/himeTimeout to dock/hideDelay in the config file

[chaz/openbox] / openbox / config.h

diff --git a/openbox/config.h b/openbox/config.h
index 0e7a6a24c47b08554d3a90a7b6aa5f6a9f3c85d0..917e8fa793c7e3c9e00f588985c9793ee3af6d3e 100644 (file)
--- a/openbox/config.h
+++ b/openbox/config.h
@@ -1,4 +1,4 @@
-/* -*- indent-tabs-mode: t; tab-width: 4; c-basic-offset: 4; -*-
+/* -*- indent-tabs-mode: nil; tab-width: 4; c-basic-offset: 4; -*-
 
    config.h for the Openbox window manager
    Copyright (c) 2003        Ben Jansens
@@ -54,7 +54,7 @@ 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 microseconds to wait before hiding the dock */
-extern guint config_dock_hide_timeout;
+extern guint config_dock_hide_delay;
 
 /* The name of the theme */
 extern char *config_theme;