add: self.paused = true; 
context: 		this.runner.getInterval = function() {			if (self.runner.testCase.debugContext.currentCommand().breakpoint) {				return -1;			} else if (self.paused) {				return -1;			} else {				return document.getElementById("runInterval").selectedItem.value;			}		}
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/edff5de1cd9e55ad1a890d6fd09366975e91e0dc/debugger.js/clean/src/content/debugger.js