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

diff --git a/openbox/event.c b/openbox/event.c
index 154b83479df7cfa434ae15dae9984e98a2a7f862..f5da603b0b9989f19bc1bd3a68a7159ebc7614bb 100644 (file)
--- 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;
     }
 }