##// END OF EJS Templates
Fixed keyboard.js indent break
Jonathan Frederic -
Show More
@@ -183,7 +183,7 IPython.keyboard = (function (IPython) {
183 183 if (!suppress_help_update) {
184 184 // update the keyboard shortcuts notebook help
185 185 $([IPython.events]).trigger('rebuild.QuickHelp');
186 }
186 }
187 187 };
188 188
189 189 ShortcutManager.prototype.add_shortcuts = function (data) {
@@ -201,7 +201,7 IPython.keyboard = (function (IPython) {
201 201 if (!suppress_help_update) {
202 202 // update the keyboard shortcuts notebook help
203 203 $([IPython.events]).trigger('rebuild.QuickHelp');
204 }
204 }
205 205 };
206 206
207 207 ShortcutManager.prototype.count_handler = function (shortcut, event, data) {
General Comments 0
You need to be logged in to leave comments. Login now