• towerful@programming.dev
      link
      fedilink
      arrow-up
      13
      ·
      5 months ago

      I think that’s how themes are distributed for VSCode, right?
      With VSCode, everything is an extension.
      But the vscode marketplace seems to have filters for themes, so there must be some way to differentiate them.

      I think extensions need a permissions system