add: if($('#auto-restart')._.checked) restart();  
context: function requestedSave() {    scriptlet.save($('#source')._.value);    $('#main')._.getButton('extra2').disabled = true;    $('#source')._.focus();    return false;}
meta: 1705	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1705/1a0c3b855fdf979184769ca40cd1389a4a9407bf/scriptlet_editor.js/buggy/chrome/content/scriptlet_editor.js