##// END OF EJS Templates
Merge pull request #4410 from ivanov/close-new-tabs-chrome...
Paul Ivanov -
r13457:d5d3bf51 merge
parent child Browse files
Show More
@@ -131,7 +131,11 b' var IPython = (function (IPython) {'
131 });
131 });
132 this.element.find('#kill_and_exit').click(function () {
132 this.element.find('#kill_and_exit').click(function () {
133 IPython.notebook.session.delete();
133 IPython.notebook.session.delete();
134 setTimeout(function(){window.close();}, 500);
134 setTimeout(function(){
135 // allow closing of new tabs in Chromium, impossible in FF
136 window.open('', '_self', '');
137 window.close();
138 }, 500);
135 });
139 });
136 // Edit
140 // Edit
137 this.element.find('#cut_cell').click(function () {
141 this.element.find('#cut_cell').click(function () {
General Comments 0
You need to be logged in to leave comments. Login now