ungrab_all        274 lwlib/xlwmenu.c   ungrab_all (w, CurrentTime);
ungrab_all       2262 lwlib/xlwmenu.c     ungrab_all ((Widget)w, CurrentTime);
ungrab_all       2752 lwlib/xlwmenu.c       ungrab_all ((Widget)mw, ev->xmotion.time);
ungrab_all       2789 lwlib/xlwmenu.c       ungrab_all ((Widget)mw, ev->xmotion.time);