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
The file keys.py contains some important constants and utility functions that are a bit hard to work with.
In my opinion, that is because we have not created a straightforward system to identify keys, their display forms, the names by which they can be referred, the corresponding characters, etc.
(Of course, this is not made easy by the fact that the type of pretty much all of these things is str...)
Some documentation would also be helpful.
I am confident I can tidy this up, but I'm adding this issue to the backlog so that we can tackle this when we are ready for that.
This is a follow-up to #1926 (and related issues).
The text was updated successfully, but these errors were encountered:
The file
keys.py
contains some important constants and utility functions that are a bit hard to work with.In my opinion, that is because we have not created a straightforward system to identify keys, their display forms, the names by which they can be referred, the corresponding characters, etc.
(Of course, this is not made easy by the fact that the type of pretty much all of these things is
str
...)Some documentation would also be helpful.
I am confident I can tidy this up, but I'm adding this issue to the backlog so that we can tackle this when we are ready for that.
This is a follow-up to #1926 (and related issues).
The text was updated successfully, but these errors were encountered: