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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/8747e3a92e738ba6048c050758b91763ac97efe7/litmus.js/clean/testing/extensions/community/chrome/content/litmus.js