docs: add information about persistence and removal of DevTools Extensions (#18519)
* docs: add information about persistence and removal of DevTools Extensions * Update devtools-extension.md * Remove trailing space
This commit is contained in:
		
					parent
					
						
							
								370e9522b4
							
						
					
				
			
			
				commit
				
					
						d77159a19e
					
				
			
		
					 1 changed files with 10 additions and 3 deletions
				
			
		|  | @ -41,9 +41,16 @@ Using the [React Developer Tools][react-devtools] as example: | ||||||
| **Note:** The `BrowserWindow.addDevToolsExtension` API cannot be called before the | **Note:** The `BrowserWindow.addDevToolsExtension` API cannot be called before the | ||||||
| ready event of the app module is emitted. | ready event of the app module is emitted. | ||||||
| 
 | 
 | ||||||
| The name of the extension is returned by `BrowserWindow.addDevToolsExtension`, | The extension will be remembered so you only need to call this API once per | ||||||
| and you can pass the name of the extension to the `BrowserWindow.removeDevToolsExtension` | extension. If you try to add an extension that has already been loaded, this method | ||||||
| API to unload it. | will not return and instead log a warning to the console. | ||||||
|  | 
 | ||||||
|  | ### How to remove a DevTools Extension | ||||||
|  | 
 | ||||||
|  | You can pass the name of the extension to the `BrowserWindow.removeDevToolsExtension` | ||||||
|  | API to remove it. The name of the extension is returned by | ||||||
|  | `BrowserWindow.addDevToolsExtension` and you can get the names of all installed | ||||||
|  | DevTools Extensions using the `BrowserWindow.getDevToolsExtensions` API. | ||||||
| 
 | 
 | ||||||
| ## Supported DevTools Extensions | ## Supported DevTools Extensions | ||||||
| 
 | 
 | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue
	
	 Kilian Valkhof
				Kilian Valkhof