зеркало из https://github.com/mozilla/gecko-dev.git
Bug 913234 - Close toolboxes on disconnect. r=ochameau
This commit is contained in:
Родитель
66c702ee86
Коммит
dc39b70b4f
|
@ -167,7 +167,13 @@ let UI = {
|
|||
|
||||
openToolbox: function(manifest) {
|
||||
this._getTargetForApp(manifest).then((target) => {
|
||||
gDevTools.showToolbox(target, "webconsole", devtools.Toolbox.HostType.WINDOW);
|
||||
gDevTools.showToolbox(target,
|
||||
null,
|
||||
devtools.Toolbox.HostType.WINDOW).then(toolbox => {
|
||||
this.connection.once(Connection.Events.DISCONNECTED, () => {
|
||||
toolbox.destroy();
|
||||
});
|
||||
});
|
||||
}, console.error);
|
||||
},
|
||||
|
||||
|
|
|
@ -223,8 +223,11 @@ let UI = {
|
|||
this._getTargetForApp(manifest).then((target) => {
|
||||
gDevTools.showToolbox(target,
|
||||
null,
|
||||
devtools.Toolbox.HostType.WINDOW,
|
||||
this.connection.uid);
|
||||
devtools.Toolbox.HostType.WINDOW).then(toolbox => {
|
||||
this.connection.once(Connection.Events.DISCONNECTED, () => {
|
||||
toolbox.destroy();
|
||||
});
|
||||
});
|
||||
}, console.error);
|
||||
},
|
||||
|
||||
|
|
Загрузка…
Ссылка в новой задаче