Commit 31f280dc authored by Benjamin Fischer's avatar Benjamin Fischer
Browse files

Workspace: inform user on all tabs of a workspace about its disconnect

parent 805773db
......@@ -108,6 +108,16 @@ define([
this.on("disconnected", function() {
this._setState("disconnected");
this._instances.map(function (inst) {
inst.confirm("This tabs workspace has been disconnected." +
" It will not work properly anymore.", function (ok) {
if (ok) inst.close();
}, {
title: "Workspace disconnected",
yesLabel: "Close",
noLabel: "Keep open",
});
});
this._finishDisconnect(null);
});
......@@ -432,7 +442,6 @@ define([
this._instance[i].close(true);
}
},
}),$.extend({},
PreferencesMixin,
{
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment