##// END OF EJS Templates
fix john coments
Bussonnier Matthias -
Show More
@@ -11,14 +11,16 b' define(['
11 "use strict";
11 "use strict";
12
12
13 var MainToolBar = function (selector, options) {
13 var MainToolBar = function (selector, options) {
14 // Constructor
14 /**
15 //
15 * Constructor
16 // Parameters:
16 *
17 // selector: string
17 * Parameters:
18 // options: dictionary
18 * selector: string
19 // Dictionary of keyword arguments.
19 * options: dictionary
20 // events: $(Events) instance
20 * Dictionary of keyword arguments.
21 // notebook: Notebook instance
21 * events: $(Events) instance
22 * notebook: Notebook instance
23 **/
22 toolbar.ToolBar.apply(this, [selector, undefined ,options] );
24 toolbar.ToolBar.apply(this, [selector, undefined ,options] );
23 this.events = options.events;
25 this.events = options.events;
24 this.notebook = options.notebook;
26 this.notebook = options.notebook;
@@ -121,10 +121,7 b' define(['
121 }
121 }
122
122
123 function humanize_sequence(sequence){
123 function humanize_sequence(sequence){
124 var joinchar = '-';
124 var joinchar = ',';
125 if (platform === 'MacOS'){
126 joinchar = ' ';
127 }
128 var hum = _.map(sequence.replace(/meta/g, 'cmd').split(','), humanize_shortcut).join(joinchar);
125 var hum = _.map(sequence.replace(/meta/g, 'cmd').split(','), humanize_shortcut).join(joinchar);
129 return hum;
126 return hum;
130 }
127 }
General Comments 0
You need to be logged in to leave comments. Login now