add: case 33: /* pgup */ w = window.frames[0]; newOfs = w.pageYOffset - (w.innerHeight / 2); if (newOfs > 0) w.scrollTo (w.pageXOffset, newOfs); else w.scrollTo (w.pageXOffset, 0); break;  case 34: /* pgdn */ w = window.frames[0]; newOfs = w.pageYOffset + (w.innerHeight / 2); if (newOfs < (w.innerHeight + w.pageYOffset)) w.scrollTo (w.pageXOffset, newOfs); else w.scrollTo (w.pageXOffset, (w.innerHeight + w.pageYOffset)); break;  
context: function con_slkeypress (e){    switch (e.keyCode)    {        case 13:            if (!e.target.value)                return;                        ev = new Object();            ev.keyEvent = e;            ev.line = e.target.value;            console.onInputCompleteLine (ev);            e.target.value = "";            break;        case 38: /* up */            if (console._lastHistoryReferenced <                console._inputHistory.length - 1)                e.target.value =                    console._inputHistory[++console._lastHistoryReferenced];            break;        case 40: /* down */            if (console._lastHistoryReferenced > 0)                e.target.value =                    console._inputHistory[--console._lastHistoryReferenced];            else            {                console._lastHistoryReferenced = -1;                e.target.value = console._incompleteLine;            }                        break;                    case 9: /* tab */            e.preventDefault();            console.onTabCompleteRequest(e);            break;               default:            console._incompleteLine = e.target.value;            break;    }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/2a8aced6201495747dc0808bddf8bccc67a4f002/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js