##// END OF EJS Templates
remove extraneous focus_cell from actions.js
Min RK -
Show More
@@ -107,7 +107,6 b' define(function(require){'
107 107 var index = env.notebook.get_selected_index();
108 108 env.notebook.cut_cell();
109 109 env.notebook.select(index);
110 env.notebook.focus_cell();
111 110 }
112 111 },
113 112 'copy-selected-cell' : {
@@ -115,7 +114,6 b' define(function(require){'
115 114 help_index : 'ef',
116 115 handler : function (env) {
117 116 env.notebook.copy_cell();
118 env.notebook.focus_cell();
119 117 }
120 118 },
121 119 'paste-cell-before' : {
@@ -268,7 +266,6 b' define(function(require){'
268 266 help_index : 'ha',
269 267 handler : function (env) {
270 268 env.notebook.kernel.interrupt();
271 env.notebook.focus_cell();
272 269 }
273 270 },
274 271 'restart-kernel':{
@@ -276,7 +273,6 b' define(function(require){'
276 273 help_index : 'hb',
277 274 handler : function (env) {
278 275 env.notebook.restart_kernel();
279 env.notebook.focus_cell();
280 276 }
281 277 },
282 278 'undo-last-cell-deletion' : {
General Comments 0
You need to be logged in to leave comments. Login now