Official browser API?
13
👍
13I'm the PM on Edge DevTools, and I was wondering if we could help this extension, by setting a property on the global object when the DevTools are opened?
The current approach seems rather hacky, and I imagine it would be easy to get implemented in most engines
interface DevTools {
attribute Boolean isOpen;
attribute String dockState;
}
window.devTools.isOpen
window.devTools.dockState // 'left, right, top, bottom, inline'
sindresorhus / devtools-detect
Detect if DevTools is open and its orientation
2.1k
How does funding with Polar work?
1
Pay now to fund the work behind this issue.
2
Get updates on progress being made.
3
Maintainer is rewarded once the issue is completed.
FAQ
Backer
You're funding impactful open source efforts
Contributor
You want to contribute to this effort
Maintainer
You want to get funding like this too