• @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
          10 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