When printing a command list, you may want the command name to be in mixed case, but still not care about case when matching.
Previously all commands implicitly had to be in lower case when commandCaseSensitive was false, or nothing would match.
I threw this together quickly in the github online editor, so I haven't tested it. But it should work. :)
When printing a command list, you may want the command name to be in mixed case, but still not care about case when matching. Previously all commands implicitly had to be in lower case when commandCaseSensitive was false, or nothing would match.
I threw this together quickly in the github online editor, so I haven't tested it. But it should work. :)