Map '-' in non-OSX to text 'Minus'

10 years ago · 7fa84b2fdb
parent d840f72b00
commit 7fa84b2fdb
1 changed files with 2 additions and 1 deletions
--- a/notebook/static/notebook/js/quickhelp.js
+++ b/notebook/static/notebook/js/quickhelp.js
@ -113,6 +113,7 @@ define([
        'end':'End',
        'space':'Space',
        'backspace':'Backspace',
+        '-':'Minus'
        };
    
    var humanize_map;
@ -123,7 +124,7 @@ define([
        humanize_map = default_humanize_map;
    }

-    var special_case = { pageup: "PageUp", pagedown: "Page Down", 'minus': '-' };
+    var special_case = { pageup: "PageUp", pagedown: "Page Down" };
    
    function humanize_key(key){
        if (key.length === 1){