Oha@lemmy.ohaa.xyz to linuxmemes@lemmy.world · il y a 3 ansI HATE electronlemmy.ohaa.xyzimagemessage-square173fedilinkarrow-up1585
arrow-up1585imageI HATE electronlemmy.ohaa.xyzOha@lemmy.ohaa.xyz to linuxmemes@lemmy.world · il y a 3 ansmessage-square173fedilink
minus-squaresfgifz@lemmy.worldlinkfedilinkarrow-up12·il y a 3 ansDoes 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?)
minus-squarebobbysq@lemmy.worldlinkfedilinkarrow-up31·il y a 3 ansSome apps can disable it, I think Discord does so people don’t get tricked into pasting random scripts into the console
minus-squaresorrybookbroke@sh.itjust.workslinkfedilinkEnglisharrow-up10·edit-2il y a 3 ansThat 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
minus-squareredcalcium@lemmy.institutelinkfedilinkarrow-up4·il y a 3 ansFor VSCode, click Help -> Toggle Developer Tools
minus-squarerodolfo@lemmy.worldlinkfedilinkarrow-up3·edit-2il y a 3 anson raspbian, don’t remember which version, ctrl shift I opens dev tools Edit vs code dev tools
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?)
Some apps can disable it, I think Discord does so people don’t get tricked into pasting random scripts into the console
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
For VSCode, click Help -> Toggle Developer Tools
on raspbian, don’t remember which version, ctrl shift I opens dev tools Edit vs code dev tools