context: function torbutton_init() {    torbutton_log(1, 'called init()');        // initialize preferences before we start our prefs observer    torbutton_init_prefs();    // set panel style from preferences    torbutton_set_panel_style();    // listen for our toolbar button being added so we can initialize it    if (geckoVersionCompare("1.8") <= 0) {        document.getElementById('navigator-toolbox')                .addEventListener('DOMNodeInserted', torbutton_init_toolbutton, false);    }    if (!m_wasinited) {         // Runs every time a new window is opened        m_prefs =  Components.classes["@mozilla.org/preferences-service;1"]                        .getService(Components.interfaces.nsIPrefBranch);        torbutton_init_jshooks();        torbutton_log(5, 'registering pref observer');        // XXX: Hrmm... Do we really need a pref observer for each window?        torbutton_pref_observer.register();         m_wasinited = true;    } else {        torbutton_log(5, 'skipping pref observer init');    }        torbutton_set_panel_view();    torbutton_log(2, 'setting torbutton status from proxy prefs');    torbutton_set_status();    torbutton_log(2, 'init completed');}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6d16d2398792e6b4fdd065aeb02351a0b494ec98/torbutton.js/buggy/src/chrome/content/torbutton.js