Skip to content

v1.1.210

Compare
Choose a tag to compare
@github-actions github-actions released this 07 Mar 18:56
e4ffb5d
Merge pull request #398 from tonyhallett/fix-colour-settings-not-refl…

…ectedi-in-the-left-hand-margin

Much improved Editor colouring