rem: SeleniumIDE.appendCheck = function(event) { 
add: SeleniumIDE.Overlay.appendCheck = function(event) { 
context: SeleniumIDE.appendCheck = function(event) {	var command = event.target._Selenium_IDE_command;	SeleniumIDE.Loader.getTopEditor().addCommand(command.command, command.target, command.value, command.window);}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/4a3a9cf68d815a1584afc61dc59fe1e423c410e1/selenium-ide-overlay.js/buggy/src/content/selenium-ide-overlay.js