python-editor-v3
python-editor-v3 copied to clipboard
Micro:bit Educational Foundation Python Editor V3
Mark raised that this docstring is missing the module name so don't just work for users: On investigation, the stub has the full audio.play. What's going on here? In addition...
Parameter documentation is not shown in autocomplete:  It is, however, shown in parameter help: 
Dubious repro (@microbit-robert couldn't match it): In Chrome on Mac with a mouse with a mouse wheel: 1. Open Loops. 2. Size sidebar so the Loops description wraps 3. Position...
 We get this back via LSP as a string not MarkupContent but I'm not sure whether Pyright is or should be trying to do restructured text -> markdown conversion....
 The docstring might require escaping? It's obviously not helpful to try to render \x0. Need to check the rules. I also don't entirely trust the restructured text -> markdown...
## Bug Description Seems like Pyright is doing type inferring, and then reporting errors based on that. This is probably a "good thing™️", but can result in the editor reporting...
@microbit-emma-mumford observed that we don't have docs for keywords (in her case, she'd completed to 'in'). We just say "No documentation" as we do elsewhere if docs are missing (commonly...
E.g., Variables -> Changing number variables -> increment. The following text is not searchable: "...to increase, or increment, the value of a variable".
Support: https://support.microbit.org/a/tickets/56135 The (u)array module is not documented. This is because it isn't documented in the [micro:bit MicroPython documentation](https://microbit-micropython.readthedocs.io/en/v2-docs/), so the type stubs also lack documentation which was ported from...
We wrote our own Crowdin conversion but may be able to use the one in formatjs: https://formatjs.io/docs/tooling/cli/#builtin-formatters This isn't a lot of code on our end or likely to be...