##// END OF EJS Templates
fix capitalization of mode-switching keys
Paul Ivanov -
Show More
@@ -71,7 +71,7 var IPython = (function (IPython) {
71 var i, half, n;
71 var i, half, n;
72
72
73 // Command mode
73 // Command mode
74 var cmd_div = $('<div/>').append($('<h4>Command Mode (press <code>esc</code> to enable)</h4>'));
74 var cmd_div = $('<div/>').append($('<h4>Command Mode (press <code>Esc</code> to enable)</h4>'));
75 var cmd_sub_div = $('<div/>').addClass('hbox');
75 var cmd_sub_div = $('<div/>').addClass('hbox');
76 var cmd_col1 = $('<div/>').addClass('box-flex0');
76 var cmd_col1 = $('<div/>').addClass('box-flex0');
77 var cmd_col2 = $('<div/>').addClass('box-flex0');
77 var cmd_col2 = $('<div/>').addClass('box-flex0');
@@ -118,7 +118,7 var IPython = (function (IPython) {
118 var i, half, n;
118 var i, half, n;
119
119
120 // Edit mode
120 // Edit mode
121 var edit_div = $('<div/>').append($('<h4>Edit Mode (press <code>enter</code> to enable)</h4>'));
121 var edit_div = $('<div/>').append($('<h4>Edit Mode (press <code>Enter</code> to enable)</h4>'));
122 var edit_sub_div = $('<div/>').addClass('hbox');
122 var edit_sub_div = $('<div/>').addClass('hbox');
123 var edit_col1 = $('<div/>').addClass('box-flex0');
123 var edit_col1 = $('<div/>').addClass('box-flex0');
124 var edit_col2 = $('<div/>').addClass('box-flex0');
124 var edit_col2 = $('<div/>').addClass('box-flex0');
General Comments 0
You need to be logged in to leave comments. Login now