ɐɥO to linuxmemes@lemmy.world • 10 months agoI HATE electronlemmy.ohaa.xyzimagemessage-square174fedilinkarrow-up1584
arrow-up1584imageI HATE electronlemmy.ohaa.xyzɐɥO to linuxmemes@lemmy.world • 10 months agomessage-square174fedilink
minus-square@sfgifz@lemmy.worldlinkfedilink12•10 months agoDoes 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-square@bobbysq@lemmy.worldlinkfedilink31•10 months agoSome apps can disable it, I think Discord does so people don’t get tricked into pasting random scripts into the console
minus-square@sorrybookbroke@sh.itjust.workslinkfedilinkEnglish10•edit-210 months agoThat 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-square@redcalcium@lemmy.institutelinkfedilink4•10 months agoFor VSCode, click Help -> Toggle Developer Tools
minus-square@rodolfo@lemmy.worldcakelinkfedilink3•edit-210 months agoon raspbian, don’t remember which version, ctrl shift I opens dev tools Edit vs code dev tools
opens chromiums 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