Oha to [email protected] • 2 years agoI HATE electronlemmy.ohaa.xyzimagemessage-square188fedilinkarrow-up1573
arrow-up1573imageI HATE electronlemmy.ohaa.xyzOha to [email protected] • 2 years agomessage-square188fedilink
minus-square@[email protected]linkfedilink12•2 years 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@[email protected]linkfedilink3•edit-22 years agoon raspbian, don’t remember which version, ctrl shift I opens dev tools Edit vs code dev tools
minus-square@[email protected]linkfedilink30•2 years agoSome apps can disable it, I think Discord does so people don’t get tricked into pasting random scripts into the console
minus-square@[email protected]linkfedilinkEnglish11•edit-22 years 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@[email protected]linkfedilink5•2 years agoFor VSCode, click Help -> Toggle Developer 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?)
on raspbian, don’t remember which version, ctrl shift I opens dev tools Edit vs code dev tools
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