mirror of
https://github.com/enso-org/enso.git
synced 2024-11-23 16:18:23 +03:00
b700679d35
Fixes #6249 See [Electron docs](https://www.electronjs.org/docs/latest/api/browser-window). We were explicitly disabling the ability to open dev-tools unless `debug.dev-tools` flag is provided. |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |