I gather than menu creates entries for all menus where window managers are found, right? I've also noticed that sometimes menu's choice for where to put a tool (ie, on which submenu to list a tool) doesn't jibe with where I would put it, or perhaps misses finding the tool altogether. Is there a central menu file I can hand edit, then use to update my respective window manager menus? Perhaps a menu config sanity checker or double checker script or something?
-- David S. Jackson http://www.dsj.net =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= "It is a greater compliment to be trusted than to be loved." --George Macdonald