Turns out str.isdigit() also handles ² as a digit, but int('²') causes a ValueError. Here we use `string.digits` instead, which is '0123456789'. Fixes #3743 |
||
---|---|---|
.. | ||
__init__.py | ||
basekeyparser.py | ||
keyutils.py | ||
macros.py | ||
modeman.py | ||
modeparsers.py |
Turns out str.isdigit() also handles ² as a digit, but int('²') causes a ValueError. Here we use `string.digits` instead, which is '0123456789'. Fixes #3743 |
||
---|---|---|
.. | ||
__init__.py | ||
basekeyparser.py | ||
keyutils.py | ||
macros.py | ||
modeman.py | ||
modeparsers.py |