add: var w; var newOfs;  
context: function con_slkeypress (e){    switch (e.keyCode)    {        case 13:            if (!e.target.value)                return;            e.line = e.target.value;            console.onInputCompleteLine (e);            e.target.value = "";            break;        case 38: /* up */            if (console.lastHistoryReferenced == -2)            {                console.lastHistoryReferenced = -1;                e.target.value = console.incompleteLine;            }            else 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 if (console.lastHistoryReferenced == -1)            {                e.target.value = "";                console.lastHistoryReferenced = -2;            }            else            {                console.lastHistoryReferenced = -1;                e.target.value = console.incompleteLine;            }            break;                    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;        case 9: /* tab */            e.preventDefault();            console.onTabCompleteRequest(e);            break;               default:            console.lastHistoryReferenced = -1;            console.incompleteLine = e.target.value;            break;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/25d01d2a43a71dd3c4153bc981ec87651f4b4302/venkman-handlers.js/clean/extensions/venkman/resources/content/venkman-handlers.js