b42e6583f7
If an extension has already been loaded (for instance because it’s persisted), `addDevToolsExtension` will return nothing, which is confusing. This adds a little `console.warn` to educate people about what’s happening. Closes #5854 |
||
---|---|---|
.. | ||
api | ||
chrome-extension.js | ||
desktop-capturer.js | ||
guest-view-manager.js | ||
guest-window-manager.js | ||
init.js | ||
objects-registry.js | ||
rpc-server.js |