rem: function createCheckboxMenuItem( aParent, aIndex, aLabel, aChecked) 
add: function createCheckboxMenuItem( aParent, aIndex, aLabel, aChecked, aAdjacentElement) 
context: function createCheckboxMenuItem( aParent, aIndex, aLabel, aChecked)  {    var menuitem = document.createElement( "menuitem" );    menuitem.setAttribute( "type", "checkbox" );    menuitem.setAttribute( "label", aLabel );    menuitem.setAttribute( "index", aIndex );    if (aChecked==true)      menuitem.setAttribute( "checked", "true" );    aParent.appendChild( menuitem );  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/1be72aadcbe75b774ec98da348ef89110014e0ef/sessionHistoryUI.js/buggy/xpfe/browser/resources/content/sessionHistoryUI.js