rem: if (console._inputHistory[0] != e.line) 
add: if (console._inputHistory.length != 0 && console._inputHistory[0] != e.line) 
context: function con_icline (e){    if (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 = "";    var ary = e.line.match (/(\S+) ?(.*)/);    var command = ary[1];    e.command = command;    e.inputData =  ary[2] ? stringTrim(ary[2]) : "";    e.line = e.line;    console.onInputCommand (e);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/26cc97268a4f6839f936ddaaa4c715ae6bb3d13d/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js