rem: menuitem.setAttribute( "value", aValue ); 
add: menuitem.setAttribute( "label", aLabel ); 
context: function createCheckboxMenuItem( aParent, aIndex, aValue, aChecked)  {    var menuitem = document.createElement( "menuitem" );    menuitem.setAttribute( "type", "checkbox" );    menuitem.setAttribute( "value", aValue );    menuitem.setAttribute( "index", aIndex );    if (aChecked==true)      menuitem.setAttribute( "checked", "true" );    aParent.appendChild( menuitem );  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a53f6ed3b92bbedaed7a32774dedce5c90c9040f/sessionHistoryUI.js/clean/suite/browser/sessionHistoryUI.js