From: Dana Jansens <danakj@orodu.net>
Date: Wed, 30 May 2007 17:55:36 +0000 (+0000)
Subject: don't hide the dock when the mouse goes into a dock app
X-Git-Tag: release-3.4.3~90^2~163
X-Git-Url: http://git.openbox.org/?a=commitdiff_plain;h=b2dfa2fc9bdd012cbb7e58a99ddc30440b14d40d;p=dana%2Fopenbox.git

don't hide the dock when the mouse goes into a dock app
---

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;
     }
 }