search

microbit-foundation / python-editor-v3

Micro:bit Educational Foundation Python Editor V3
https://python.microbit.org
MIT License
57 stars 36 forks source link

Lint gutter width scales with font size. #881

Closed microbit-matt-hillsdon closed 2 years ago

microbit-matt-hillsdon commented 2 years ago

Closes https://github.com/microbit-foundation/python-editor-next/issues/877

github-actions[bot] commented 2 years ago

Preview build will be at https://review-python-editor-next.microbit.org/avoid-marker-cut-off/

microbit-matt-hillsdon commented 2 years ago

Confirmed initial gutter size is identical in incognito.