add: updateState(); updateAutoRestart(); 
context: function init(event) {    scriptlet = window.arguments[0];    $('#source')._.value = scriptlet.source;    $('#main')._.getButton('extra2').disabled = true;}
meta: 1705	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1705/1a0c3b855fdf979184769ca40cd1389a4a9407bf/scriptlet_editor.js/buggy/chrome/content/scriptlet_editor.js