rem: menuItemNode.setAttribute( "value", aString ); 
add: menuItemNode.setAttribute( "label", aString ); 
context:     appendString:      function ( aString )        {          var menuItemNode = document.createElement( "menuitem" );          if( menuItemNode )            {              menuItemNode.setAttribute( "value", aString );              this.listElement.firstChild.appendChild( menuItemNode );            }        },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/476f40a9ffe840661db8a7547c416a58355c9cd7/pref-fonts.js/buggy/suite/common/pref/pref-fonts.js