From b2dfa2fc9bdd012cbb7e58a99ddc30440b14d40d Mon Sep 17 00:00:00 2001
From: Dana Jansens <danakj@orodu.net>
Date: Wed, 30 May 2007 17:55:36 +0000
Subject: [PATCH] don't hide the dock when the mouse goes into a dock app

---
 openbox/event.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/openbox/event.c b/openbox/event.c
index 154b8347..f5da603b 100644
--- a/openbox/event.c
+++ b/openbox/event.c
@@ -1509,7 +1509,9 @@ static void event_handle_dock(ObDock *s, XEvent *e)
         dock_hide(FALSE);
         break;
     case LeaveNotify:
-        dock_hide(TRUE);
+        /* don't hide when moving into a dock app */
+        if (e->xcrossing.detail != NotifyInferior)
+            dock_hide(TRUE);
         break;
     }
 }
-- 
2.39.2