You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
gui/launcher internally uses get_first_word, which lowers the command, before matching for commands and recording command frequency. This becomes an issue when a command includes any uppercase letters.
The following are issues that can be observed as a result:
The help panel is unable to find the helpdb entry due to mismatched case.
Command counts (user_freq), used to sort commands by most used, fail to refer to commands with uppercase characters.
Suggested solution:
Move to case-insensitive autocomplete and help searching
Allow autocomplete to correct casing
The text was updated successfully, but these errors were encountered:
gui/launcher
internally usesget_first_word
, which lowers the command, before matching for commands and recording command frequency. This becomes an issue when a command includes any uppercase letters.The following are issues that can be observed as a result:
helpdb
entry due to mismatched case.user_freq
), used to sort commands by most used, fail to refer to commands with uppercase characters.Suggested solution:
The text was updated successfully, but these errors were encountered: