Drop structure highlighting runs with a zero-width header - #1321

Drop structure highlighting runs with a zero-width header#1321

microbit-matt-hillsdon merged 1 commit into

mainmicrobit-foundation/python-editor-v3:mainfrom

structure-highlighting-error-nodemicrobit-foundation/python-editor-v3:structure-highlighting-error-nodeCopy head branch name to clipboard