• @sfgifz@lemmy.world
    link
    fedilink
    1210 months ago

    Does it really have to? Vscode is built on top of it, I don’t think it’s ever opened chromium dev tools for the app (maybe I’m wrong?)

    • @bobbysq@lemmy.world
      link
      fedilink
      3210 months ago

      Some apps can disable it, I think Discord does so people don’t get tricked into pasting random scripts into the console

      • @sorrybookbroke@sh.itjust.works
        link
        fedilink
        English
        11
        edit-2
        9 months ago

        That is true, though it’s possible to re-activate them through a configuration file in discord. However, a developer can fully disable the tools if they wish

    • @redcalcium
      link
      510 months ago

      For VSCode, click Help -> Toggle Developer Tools

    • @rodolfo@lemmy.world
      link
      fedilink
      3
      edit-2
      10 months ago

      on raspbian, don’t remember which version, ctrl shift I opens dev tools Edit vs code dev tools