The mpremote REPL can now be closed with either ctrl+] or ctrl+x, which gives users a choice, useful if the ']' key is difficult to access. Fixes issue #11197. Signed-off-by: Jonas Scharpf <jonas@brainelectronics.de> |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| __main__.py | ||
| commands.py | ||
| console.py | ||
| main.py | ||
| mip.py | ||
| pyboardextended.py | ||
| repl.py | ||