Introduce extensions management APIs indépendant of Dev Tools Extensions
Introduce extensions management APIs indépendant of Dev Tools Extensions

- introduce API BrowserWindow#[add,remove,get]Extension
- make [add,remove, get]DevToolsExtension use newly introduced API
- make the app persist only the extensions added via
#addDevToolsExtension

gerhardberger/electron,gerhardberger/electron,electron/electron,gerhardberger/electron,shiftkey/electron,thomsonreuters/electron,bpasero/electron,the-ress/electron,gerhardberger/electron,the-ress/electron,bpasero/electron,gerhardberger/electron,Floato/electron,shiftkey/electron,seanchas116/electron,seanchas116/electron,seanchas116/electron,the-ress/electron,thomsonreuters/electron,Floato/electron,bpasero/electron,electron/electron,the-ress/electron,shiftkey/electron,seanchas116/electron,the-ress/electron,thomsonreuters/electron,bpasero/electron,bpasero/electron,Floato/electron,shiftkey/electron,gerhardberger/electron,thomsonreuters/electron,electron/electron,electron/electron,seanchas116/electron,seanchas116/electron,bpasero/electron,shiftkey/electron,the-ress/electron,electron/electron,thomsonreuters/electron,the-ress/electron,thomsonreuters/electron,Floato/electron,bpasero/electron,gerhardberger/electron,electron/electron,shiftkey/electron,Floato/electron,electron/electron,Floato/electron