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
Reported by jteh on 2013-12-02 04:26
When normalising gesture identifiers, we order any items separated by + into Python set order and convert to lower case. Currently, we convert to lower case after the order in several places. This can break if two equivalent identifiers have different capitalisation before normalisation.
This needs to be fixed in inputCore.normalizeGestureIdentifier, as well as all sources that output identifiers, including keyboard, braille display drivers and braille input.
The text was updated successfully, but these errors were encountered:
Reported by jteh on 2013-12-02 04:26
When normalising gesture identifiers, we order any items separated by + into Python set order and convert to lower case. Currently, we convert to lower case after the order in several places. This can break if two equivalent identifiers have different capitalisation before normalisation.
This needs to be fixed in inputCore.normalizeGestureIdentifier, as well as all sources that output identifiers, including keyboard, braille display drivers and braille input.
The text was updated successfully, but these errors were encountered: