From 2b1a53cd730810fd8897433dd3faad29906a3b40 Mon Sep 17 00:00:00 2001 From: Lefteris Chatzimparmpas Date: Sun, 11 Aug 2013 14:45:29 +0200 Subject: [PATCH] Dock used showDelay for both hiding and showing (Bug 5811) --- openbox/dock.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/openbox/dock.c b/openbox/dock.c index c26eee6..f18683d 100644 --- a/openbox/dock.c +++ b/openbox/dock.c @@ -662,7 +662,7 @@ void dock_hide(gboolean hide) } else { if (!dock->hidden && config_dock_hide) { hide_timeout_id = g_timeout_add_full(G_PRIORITY_DEFAULT, - config_dock_show_delay, + config_dock_hide_delay, hide_timeout, NULL, NULL); } else if (dock->hidden && config_dock_hide && show_timeout_id) { if (show_timeout_id) g_source_remove(show_timeout_id); -- 1.9.1