rem: if (mainWindow.isPaused() && mainWindow.currentStack) { 
add: if (mainWindow.isPaused && mainWindow.currentStack) { 
context: 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();    }}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/9b51fc362917476328cd90f7b4173533670328ee/console.js/clean/WebKitTools/Drosera/console.js