Merge pull request #777 from jcb91/bugfix/keyboard

give defined ordering to keyboard shortcuts with the same help_index
11 years ago · 1d934b3a9a
parent cdb7c7b843 1a855af8f2
commit 1d934b3a9a
1 changed files with 7 additions and 1 deletions
--- a/notebook/static/base/js/keyboard.js
+++ b/notebook/static/base/js/keyboard.js
@ -255,7 +255,13 @@ define([
        }
        help.sort(function (a, b) {
            if (a.help_index === b.help_index) {
-                return 0;
+                if (a.shortcut === b.shortcut) {
+                    return 0;
+                }
+                if (a.shortcut > b.shortcut) {
+                    return 1;
+                }
+                return -1;
            }
            if (a.help_index === undefined || a.help_index > b.help_index){
                return 1;