• towerful@programming.dev
    link
    fedilink
    arrow-up
    13
    ·
    6 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