From a8b6c57e03303da7392ea72e8f2b342fee54df40 2014-03-20 21:10:44 From: MinRK Date: 2014-03-20 21:10:44 Subject: [PATCH] remove alt-- shortcut replace with ctrl-shift-- alt is not safe for defaults --- diff --git a/IPython/html/static/notebook/js/keyboardmanager.js b/IPython/html/static/notebook/js/keyboardmanager.js index 5479609..28e4e14 100644 --- a/IPython/html/static/notebook/js/keyboardmanager.js +++ b/IPython/html/static/notebook/js/keyboardmanager.js @@ -141,7 +141,7 @@ var IPython = (function (IPython) { } } }, - 'alt--' : { + 'ctrl-shift--' : { help : 'split cell', help_index : 'ea', handler : function (event) { @@ -149,7 +149,7 @@ var IPython = (function (IPython) { return false; } }, - 'alt-subtract' : { + 'ctrl-shift-subtract' : { help : '', help_index : 'eb', handler : function (event) {