$('#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;