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
You can use equivalence_classes (mutual aliases), but wildcard characters like in your suggestion are impossible if you want ahead-of-time displayed labels. Think about it: when targeting k+, after pressing k, the plugin cannot know whether you will type + or * (the wildcard character), so it cannot decide which label to show (the labels are different in the two cases, since the wildcard would match a lot more targets).
Sometimes when I meet the pattern "j=" "k+" "k_" which is hard to
press the second char. So is there a way to set a wild char to match any char?
For example I press "j*" can match any two char pattern start with j
The text was updated successfully, but these errors were encountered: