python-editor-v3
python-editor-v3 copied to clipboard
Micro:bit Educational Foundation Python Editor V3
I tried creating a simple wildcard search but a wildcard doesn't match the empty string so we'd need to do something fancy, like a disjunction of an exact match and...
get_tempo has an odd extract. I can't see any justification for the text in the stubs text so maybe we mangle it somewhere along the way.  In the DOM...
Sanity have released @portabletext/react which supersedes @sanity/block-content-to-react. We should migrate to it at some point. The experience of doing so will be useful elsewhere in the Foundation so we should...
This is a Mac system option but very confusing in a coding context. Can we avoid it? @microbit-katie's original report: > Is there a way to add an in-line comment...
You can't edit the names of files after creating them. Workaround: create new file, copy paste content, delete old file. One issue to consider is that imports might break, e.g....
From @microbit-katie: > Is there a way to clear serial without disconnecting and reconnecting the micro:bit?  There isn't currently a way to do this but it should be straightforward...
Suggested by @microbit-katie and it's also come up on support: - https://support.microbit.org/a/tickets/54534 (private) - https://support.microbit.org/a/tickets/53302 (private) Our UI framework Chakra UI has some support for this, but our various customisations...
## Bug Description When an indentation error is added to the code the code structure highlighting is not following the rest of the code correctly. ## How To Reproduce ```python...
## Bug Description With a `my_module.py` file that only contains `FOO = 0`. In the Editor: In MicroPython: ``` MicroPython 569e361 on 2022-06-20; micro:bit v2.0.0 with nRF52833 Type "help()" for...
When you are using autocomplete, you get a useful dropdown to select pre-defined images for the `Image` class.  It would be useful to be able to select a new...