mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2024-12-21 04:10:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8203 from minrk/kernel.js-switch

Browse Source 
autosave & reload on kernelspec switch
This commit is contained in:
Min RK 2015-04-01 10:03:38 -07:00
commit 6d786be40b
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
IPython/html/static/notebook/js/kernelselector.js
View File

@ -94,6 +94,7 @@ define([
KernelSelector.prototype._spec_changed = function (event, ks) { KernelSelector.prototype._spec_changed = function (event, ks) {
/** event handler for spec_changed */ /** event handler for spec_changed */
var that = this;
// update selection // update selection
this.current_selection = ks.name; this.current_selection = ks.name;
@ -157,6 +158,15 @@ define([
console.warn("Failed to load kernel.js from ", ks.resources['kernel.js'], err); console.warn("Failed to load kernel.js from ", ks.resources['kernel.js'], err);
} }
); );
this.events.on('spec_changed.Kernel', function (evt, new_ks) {
if (ks.name != new_ks.name) {
console.warn("kernelspec %s had custom kernel.js. Forcing page reload for %s.",
ks.name, new_ks.name);
that.notebook.save_notebook().then(function () {
window.location.reload();
});
}
});
} }
}; };