add:   browser.userTypedClear = userTypedClear; 
context: function updatePageTheme(evt){  if (!gPageThemeButton)    gPageThemeButton = document.getElementById("page-theme-button");  var hasThemes = false;  var stylesheets = window._content.document.styleSheets;  for (var i = 0; i < stylesheets.length; ++i) {    var currentStyleSheet = stylesheets[i];        if (currentStyleSheet.title) {        // Skip any stylesheets that don't match the screen media type.        var media = currentStyleSheet.media.mediaText.toLowerCase();        if (media && (media.indexOf("screen") == -1) && (media.indexOf("all") == -1))            continue;        hasThemes = true;        break;    }  }  if (hasThemes) {    gPageThemeButton.setAttribute("themes", "true");    // FIXME: Do a first-time explanation of page themes here perhaps?    // Avoid for now since Firebird's default home page has an alt sheet.  }  else    gPageThemeButton.removeAttribute("themes");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/181d0e6bb9b05a0a5723911785b7329e5746d87f/browser.js/clean/browser/base/content/browser.js