rem: selenium.browserbot.getCurrentPage().setHighlightElement(isHighlight); 
add: selenium.browserbot.setShouldHighlightElement(isHighlight); 
context:     setHighlightOption: function () {        var isHighlight = this.highlightOption.checked;        selenium.browserbot.getCurrentPage().setHighlightElement(isHighlight);    },
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/b65b96860c14f050944e3fa047dbc1565d3db0a5/selenium-testrunner.js/buggy/code/javascript/core/scripts/selenium-testrunner.js