if (mainWindow.isPaused() && mainWindow.currentStack) { 
if (mainWindow.isPaused && mainWindow.currentStack) { 
function inputKeyDown(event){    if (event.keyCode == 13 && !event.altKey) {        if (mainWindow.isPaused() && mainWindow.currentStack) {            history[history.length - 1] = inputElement.innerText;            sendScript(inputElement.innerText);            inputElement.innerText = "";            history.push("");            historyIndex = history.length - 1;            inputElement.focus();        } else            alert("The debugger needs to be paused.\tIn order to evaluate your script input you need to pause the debugger in the context of another script.");        event.preventDefault();    } else if (event.keyCode == 38 && !event.altKey && historyIndex > 0) {        historyIndex--;        inputElement.innerText = history[historyIndex];        inputElement.focus()        event.preventDefault();    } else if (event.keyCode == 40 && !event.altKey && historyIndex < (history.length - 1)) {        historyIndex++;        inputElement.innerText = history[historyIndex];        inputElement.focus()        event.preventDefault();    }}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/1d1c4edb4480d6ad36fa799b25111b1c8aa85204/console.js/buggy/WebKitTools/Drosera/console.js