mirror of
https://github.com/pybricks/pybricks-code.git
synced 2026-09-14 10:35:11 +00:00
This removes the docs toggle switch from the settings and adds a new docs toggle button to the editor. Fixes: https://github.com/pybricks/support/issues/778