context: function torbutton_prefs_reset_defaults() {    var o_torprefs = torbutton_get_prefbranch('extensions.torbutton.');    var o_proxyprefs = torbutton_get_prefbranch('network.proxy.');    var tmpcnt = new Object();    var children;    var i;    // XXX: change this to handle people with non-default proxy settings    //  1. Clear proxy settings    //  2. Restore saved prefs    //  3. Clear torbutton settings    children = o_torprefs.getChildList("" , tmpcnt);    for(i = 0; i < children.length; i++) {        torbutton_log(5, "Preferences reset: "+children[i]);        if(o_torprefs.prefHasUserValue(children[i]))            o_torprefs.clearUserPref(children[i]);    }    children = o_proxyprefs.getChildList("" , tmpcnt);    for(i = 0; i < children.length; i++) {        if(o_proxyprefs.prefHasUserValue(children[i]))            o_proxyprefs.clearUserPref(children[i]);    }    torbutton_log(5, "Preferences reset to defaults");    torbutton_prefs_init(window.document);}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/7a73bce6e53c05c3c3da2a394c14da971dbbdd9e/preferences.js/clean/src/chrome/content/preferences.js