mirror of
https://github.com/pybricks/pybricks-code.git
synced 2026-09-12 17:45:22 +00:00
This was carried over from the Ace editor, but doesn't work well with the Monaco editor. Fixes: https://github.com/pybricks/pybricks-code/issues/472