AFAICT, we only used the first char of the "command_line" string. Just turn it into int to hold the key the main input loop parse() got. Shouldn't have any functional difference.
32 KiB
32 KiB