##// END OF EJS Templates
one more place
Paul Ivanov -
Show More
@@ -119,7 +119,7 b' var IPython = (function (IPython) {'
119 s = s.replace(/-$/, 'minus'); // catch shortcuts using '-' key
119 s = s.replace(/-$/, 'minus'); // catch shortcuts using '-' key
120 var keys = s.split('-');
120 var keys = s.split('-');
121 var k, i;
121 var k, i;
122 for (i in keys) {
122 for (i=0; i < keys.length; i++) {
123 k = keys[i];
123 k = keys[i];
124 if ( k.length == 1 ) {
124 if ( k.length == 1 ) {
125 keys[i] = "<code><strong>" + k + "</strong></code>";
125 keys[i] = "<code><strong>" + k + "</strong></code>";
General Comments 0
You need to be logged in to leave comments. Login now