context: function setMsgHdrPropertyAndReload(aProperty, aValue){  // we want to get the msg hdr for the currently selected message  // change the appropiate property on it then reload the message  var msgHdr = msgHdrForCurrentMessage();  if (msgHdr)  {    msgHdr.setUint32Property(aProperty, aValue);    MsgReload();  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/25271ff062efea825b9a9f0eb52d3d384e552141/mailWindowOverlay.js/clean/mail/base/content/mailWindowOverlay.js