rem: if ( top.window.title != title ) top.window.title = title; 
add: if ( top.window.title != title ) top.window.title = title; 
context: function DisplayNameChanged(){	// turn off generateDisplayName if the user changes the display name	editCard.generateDisplayName = false;    var displayName = document.getElementById('DisplayName').value;    var title = gAddressBookBundle.getFormattedString(editCard.titleProperty,                                                      [ displayName ]);	if ( top.window.title != title )		top.window.title = title;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0b2dd2b2d2fd037df917e07645fa019a963332a5/abCardOverlay.js/buggy/mailnews/addrbook/resources/content/abCardOverlay.js