rem: if (!(evnt.originalTarget instanceof XMLDocument)) 
add: if (!(evnt.originalTarget instanceof XMLDocument) &&  !(evnt.originalTarget instanceof XULDocument)) 
context: function maybeLoadFeedview(evnt) {  // See if the document is XML.  If not, it's definitely not a feed.  if (!(evnt.originalTarget instanceof XMLDocument))    return;  var dataXML = evnt.originalTarget;  // Make sure the document is loaded into one of the browser tabs.  // Otherwise, it might have been loaded as data by some application  // that expects it not to change, and we shouldn't break the app  // by changing the document.  var browser;  var browsers = document.getElementById('content').browsers;  for (var i = 0; i < browsers.length; i++) {    if (dataXML == browsers[i].contentDocument) {      browser = browsers[i];      break;    }  }  if (!browser)    return;  // See if the document we're dealing with is actually a feed.  if (!feedviewIsFeed(dataXML.documentElement))    return;  var ownerDocument = document.implementation.createDocument("", "", null);  var strbundle=document.getElementById("bundle_feedview");  gFeedviewProcessor.setParameter(null, "feedUrl", evnt.originalTarget.documentURI);  gFeedviewProcessor.setParameter(null, "feedTitle", strbundle.getString("title") );  // XXX This should be in a DTD.  gFeedviewProcessor.setParameter(null, "lengthSliderLabel", strbundle.getString("lengthSliderLabel"));   // XXX These are static values.  Can I set them once and have the processor  // apply them every time I use it to transform a document?  gFeedviewProcessor.setParameter(null, "articleLength", gFeedviewPrefArticleLength);  gFeedviewProcessor.setParameter(null, "showBar", gFeedviewPrefShowBar);  gFeedviewProcessor.setParameter(null, "showImage",  gFeedviewPrefShowImage);  gFeedviewProcessor.setParameter(null, "timerInterval", gFeedviewPrefTimerInterval);  gFeedviewProcessor.setParameter(null, "externalCSS", gFeedviewPrefExternalCSS );  // Get the length and give it to the description thingie.  var len = dataXML.getElementsByTagName("item").length;   if (len == 0)    len = dataXML.getElementsByTagName("entry").length;  gFeedviewProcessor.setParameter(null, "feedDescription", strbundle.getFormattedString("description", [len] ) );  var newFragment = gFeedviewProcessor.transformToFragment(dataXML, ownerDocument);  var oldLink = dataXML.documentElement.firstChild;  // XXX: it would be better if we could replace the documentElement..   // now the rdf/rss/feed tag remains , NOT good   dataXML.documentElement.replaceChild(newFragment, oldLink);  oldLink = dataXML.documentElement.firstChild.nextSibling;  // Kill all other child elements of the document element  // so only our transformed feed remains.  while (oldLink != null) {    oldLinkX = oldLink.nextSibling;    if (oldLinkX != null)      dataXML.documentElement.removeChild(oldLink);    oldLink = oldLinkX;  }  // Watch the article length slider so we can update the corresponding pref  // when it changes.  var slider = dataXML.getElementById('lengthSlider');  slider.addEventListener("mouseclick", updateFeedviewPrefArticleLength, false);  slider.addEventListener("mouseup", updateFeedviewPrefArticleLength, false);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/b5bd2417014555307ab43594155599a297244c15/feedviewOverlay.js/buggy/browser/components/feedview/content/feedviewOverlay.js