add:   var favoriteFolderMenu = document.getElementById('menu_favoriteFolder'); if (favoriteFolderMenu && !favoriteFolderMenu.disabled) { var folderTree = GetFolderTree(); var startIndex = {}; var endIndex = {}; folderTree.view.selection.getRangeAt(0, startIndex, endIndex); if (startIndex.value >= 0) { var numSelected = endIndex.value - startIndex.value + 1; var folderResource = GetFolderResource(folderTree, startIndex.value); var isServer = GetFolderAttribute(folderTree, folderResource, "IsServer") == 'true'; SetupFavoritesMenuItem(folderResource, numSelected, isServer, 'menu_favoriteFolder'); } } 
context: function InitEditMessagesMenu(){  goSetMenuValue('cmd_delete', 'valueDefault');  goSetAccessKey('cmd_delete', 'valueDefaultAccessKey');  document.commandDispatcher.updateCommands('create-menu-edit');}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/b6bb0ecf6484efaae610e6386311832c1d7effcf/mailWindowOverlay.js/buggy/mail/base/content/mailWindowOverlay.js