$('#command').keydown(function(inEvent) {
        var key = inEvent.keyCode || inEvent.charCode || inEvent.which || 0;
        if (key === 40) {
            console_history_idx++;
            if (console_history_idx > console_history.length - 1) console_history_idx = console_history.length;