rem: function cmgr_add (parent, command, keystr) 
add: function cmgr_add (command) 
context: function cmgr_add (parent, command, keystr){    var parentElem = document.getElementById(parent);    if (!ASSERT(parentElem, "setKey: couldn't get parent '" + parent +                "' for " + command.name))        return;    var ary = keystr.match (/(.*\s)?([\S]+)$/);    var key = document.createElement ("key");    key.setAttribute ("id", "key:" + command.name);    key.setAttribute ("oncommand",                      "dispatch('" + command.name + "');");    key.setAttribute ("modifiers", ary[1]);    if (ary[2].indexOf("VK_") == 0)        key.setAttribute ("keycode", ary[2]);    else        key.setAttribute ("key", ary[2]);        parentElem.appendChild(key);    command.key = key;    command.keystr = keystr;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/command-manager.js/buggy/extensions/venkman/resources/content/command-manager.js