##// END OF EJS Templates
Merge pull request #3478 from minrk/rewarn...
Brian E. Granger -
r11102:13591144 merge
parent child Browse files
Show More
@@ -357,9 +357,15 b' var IPython = (function (IPython) {'
357 if (kill_kernel) {
357 if (kill_kernel) {
358 that.kernel.kill();
358 that.kernel.kill();
359 }
359 }
360 // if we are autosaving, trigger an autosave on nav-away
360 // if we are autosaving, trigger an autosave on nav-away.
361 if (that.dirty && that.autosave_interval && ! that.read_only) {
361 // still warn, because if we don't the autosave may fail.
362 that.save_notebook();
362 if (that.dirty && ! that.read_only) {
363 if ( that.autosave_interval ) {
364 that.save_notebook();
365 return "Autosave in progress, latest changes may be lost.";
366 } else {
367 return "Unsaved changes will be lost.";
368 }
363 };
369 };
364 // Null is the *only* return value that will make the browser not
370 // Null is the *only* return value that will make the browser not
365 // pop up the "don't leave" dialog.
371 // pop up the "don't leave" dialog.
General Comments 0
You need to be logged in to leave comments. Login now