mirror of
https://github.com/wassname/DefinitelyTyped.git
synced 2026-09-09 11:13:57 +08:00
Merge pull request #5602 from rhysd/patch-1
Add BrowserWindow.isDevToolsOpened()
This commit is contained in:
Vendored
+4
@@ -356,6 +356,10 @@ declare module GitHubElectron {
|
||||
* Closes the developer tools.
|
||||
*/
|
||||
closeDevTools(): void;
|
||||
/**
|
||||
* Returns whether the developer tools are opened.
|
||||
*/
|
||||
isDevToolsOpened(): boolean;
|
||||
/**
|
||||
* Toggle the developer tools.
|
||||
*/
|
||||
|
||||
Reference in New Issue
Block a user