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