rem: var menu = document.getElementById('testlist'); menu.selectedIndex = litmus.currentTestCaseIndex; litmus.getTestcase(menu.selectedItem.value, litmus.populateTestcase); 
add:   litmus.getTestcase($("testlist").selectedItem.value, litmus.populateTestcase); 
context:     selectCurrentTestCase : function() {        var menu = document.getElementById('testlist');        menu.selectedIndex = litmus.currentTestCaseIndex;        litmus.getTestcase(menu.selectedItem.value, litmus.populateTestcase);    },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/5d6604be3571a59b8d095088cafb0f2ca4d3a890/litmus.js/buggy/testing/extensions/community/chrome/content/litmus.js