fix flashy menus

diff --git a/openbox/event.c b/openbox/event.c
index a063bb8c1f8951548cd5b2828f528e1f6793de9e..8f21120248af2e5d6ee7f8eb0e5e7208990cbd2d 100644 (file)
--- a/openbox/event.c
+++ b/openbox/event.c
@@ -1607,6 +1607,10 @@ static gboolean event_handle_menu(XEvent *ev)
         }
         break;
     case LeaveNotify:
+        /*ignore leaves when we're already in the window */
+        if (ev->xcrossing.detail == NotifyInferior)
+            break;
+
         if ((e = g_hash_table_lookup(menu_frame_map, &ev->xcrossing.window)) &&
             (f = find_active_menu()) && f->selected == e &&
             e->entry->type != OB_MENU_ENTRY_TYPE_SUBMENU)