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
Just a feature request: Similar to what someeditor's autocomplete does, when the user types in all lowercase letters, behaves case insensitively by default. But if the input contains any uppercase letters, switches to case sensitive mode by giving each exactly matched character some extra points so those candidates rank higher on the list.
This is useful when the command starts with an environment variable, e.g., RUST_LOG=....
The text was updated successfully, but these errors were encountered:
That's a good suggestion, thanks @gyk. It might be kind of hard to implement with weighting in the current implementation, but it probably wouldn't be too hard to have it switch to case sensitive mode if any capital letters are present.
Just a feature request: Similar to what some editor's autocomplete does, when the user types in all lowercase letters, behaves case insensitively by default. But if the input contains any uppercase letters, switches to case sensitive mode by giving each exactly matched character some extra points so those candidates rank higher on the list.
This is useful when the command starts with an environment variable, e.g.,
RUST_LOG=...
.The text was updated successfully, but these errors were encountered: