rem:   textbox.setAttribute("onsynctopreference", "return gPrivacyPane._writeHistoryDaysMirror();"); textbox.setAttribute("preference", "browser.history_expire_days.mirror"); mirror.updateElements(); 
context:   _updateHistoryDaysUI: function ()  {    var pref = document.getElementById("browser.history_expire_days");    var mirror = document.getElementById("browser.history_expire_days.mirror");    var textbox = document.getElementById("historyDays");    var checkbox = document.getElementById("rememberHistoryDays");    // handle mirror non-existence or mirror/pref unsync    if (mirror.value === null || mirror.value != pref.value)      mirror.value = pref.value ? pref.value : pref.defaultValue;    checkbox.checked = (pref.value > 0);    textbox.disabled = !checkbox.checked;    // hook up textbox to mirror preference and force a preference read    textbox.setAttribute("onsynctopreference", "return gPrivacyPane._writeHistoryDaysMirror();");    textbox.setAttribute("preference", "browser.history_expire_days.mirror");    mirror.updateElements();  },
meta: 10520	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10520/b98f840318143aa2aaa9c70db8ce93acf1097277/privacy.js/buggy/browser/components/preferences/privacy.js