##// END OF EJS Templates
Backport PR #5613: Fixing bug #5607...
Matthias BUSSONNIER -
Show More
@@ -135,7 +135,7 b' var IPython = (function (IPython) {'
135
135
136 QuickHelp.prototype.build_edit_help = function (cm_shortcuts) {
136 QuickHelp.prototype.build_edit_help = function (cm_shortcuts) {
137 var edit_shortcuts = IPython.keyboard_manager.edit_shortcuts.help();
137 var edit_shortcuts = IPython.keyboard_manager.edit_shortcuts.help();
138 jQuery.extend(cm_shortcuts, edit_shortcuts);
138 jQuery.merge(cm_shortcuts, edit_shortcuts);
139 return build_div('<h4>Edit Mode (press <code>Enter</code> to enable)</h4>', cm_shortcuts);
139 return build_div('<h4>Edit Mode (press <code>Enter</code> to enable)</h4>', cm_shortcuts);
140 };
140 };
141
141
General Comments 0
You need to be logged in to leave comments. Login now