rem:     if ("setCursor" in window) { if (enable) window.setCursor("wait"); else window.setCursor("auto"); } 
add:     if ("setCursor" in window) { if (enable) window.setCursor("wait"); else window.setCursor("auto"); } 
context: function SetBusyCursor(window, enable){    // setCursor() is only available for chrome windows.    // However one of our frames is the start page which     // is a non-chrome window, so check if this window has a    // setCursor method    if ("setCursor" in window) {        if (enable)            window.setCursor("wait");        else            window.setCursor("auto");    }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/16e29cc346b3511d09593fe0badce6d008ad5899/FilterEditor.js/buggy/mailnews/base/search/resources/content/FilterEditor.js