rem: torbutton_log(3, 'opened preferences window'); 
add: torbutton_log(2, 'opened preferences window'); 
context: function torbutton_open_prefs_dialog() {    window.openDialog("chrome://torbutton/content/preferences.xul","torbutton-preferences","centerscreen, chrome");    torbutton_log(3, 'opened preferences window');}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton.js/buggy/src/chrome/content/torbutton.js