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