rem: dispatch (e.line, null, CMD_CONSOLE); 
add: var ev = {isInteractive: true, initialEvent: e}; dispatch (e.line, ev, CMD_CONSOLE); 
context: function con_icline (e){        if (console.inputHistory.length == 0 || console.inputHistory[0] != e.line)        console.inputHistory.unshift (e.line);        if (console.inputHistory.length > console.prefs["input.history.max"])        console.inputHistory.pop();        console.lastHistoryReferenced = -1;    console.incompleteLine = "";        dispatch (e.line, null, CMD_CONSOLE);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/7544d3415d65bb702cb3060dd8ac2a22f009997b/venkman-handlers.js/clean/extensions/venkman/resources/content/venkman-handlers.js