Skip to content

Include new settings in saved preferences

Choose a tag to compare

@psudo-dev psudo-dev released this 30 Aug 19:58
· 156 commits to main since this release

Changed

  • extension.js, user-preferences.js to add syntaxBrightness: Normal to saved preferences as default