##// END OF EJS Templates
Merge pull request #3510 from minrk/ffisbroken...
Min RK -
r11113:62db5e06 merge
parent child Browse files
Show More
@@ -350,8 +350,10 b' var IPython = (function (IPython) {'
350 var time = (extrap != undefined) ? ((extrap.duration != undefined ) ? extrap.duration : 'fast') : 'fast';
350 var time = (extrap != undefined) ? ((extrap.duration != undefined ) ? extrap.duration : 'fast') : 'fast';
351 expand_time(time);
351 expand_time(time);
352 });
352 });
353
353
354 $(window).bind('beforeunload', function () {
354 // Firefox 22 broke $(window).on("beforeunload")
355 // I'm not sure why or how.
356 window.onbeforeunload = function (e) {
355 // TODO: Make killing the kernel configurable.
357 // TODO: Make killing the kernel configurable.
356 var kill_kernel = false;
358 var kill_kernel = false;
357 if (kill_kernel) {
359 if (kill_kernel) {
@@ -370,7 +372,7 b' var IPython = (function (IPython) {'
370 // Null is the *only* return value that will make the browser not
372 // Null is the *only* return value that will make the browser not
371 // pop up the "don't leave" dialog.
373 // pop up the "don't leave" dialog.
372 return null;
374 return null;
373 });
375 };
374 };
376 };
375
377
376 /**
378 /**
General Comments 0
You need to be logged in to leave comments. Login now