rem: if (menuitem.hasAttribute("isSeparator") || 
add: if (menuitem.hasAttribute("isSeparator") || 
context:     function satisfied()    {        if (menuitem.hasAttribute("isSeparator") ||             !menuitem.hasAttribute("commandname"))        {            return true;        }        if (!("menuManager" in cx))        {            dd ("no menuManager in cx");            return false;        }                var name = menuitem.getAttribute("commandname");        var commandManager = cx.menuManager.commandManager;        var commands = commandManager.commands;        if (!ASSERT (name in commands,                     "menu contains unknown command '" + name + "'"))        {            return false;        }        var rv = commandManager.isCommandSatisfied(cx, commands[name]);        delete cx.parseError;        return rv;    };
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/00b6cdf954399a8f3562bddaefd3164388596abb/menu-manager.js/clean/js/lib/menu-manager.js