##// END OF EJS Templates
Merge pull request #713 from stefanv/htmlnotebook_help_dialog...
Brian E. Granger -
r4651:44087428 merge
parent child Browse files
Show More
@@ -311,3 +311,11 b' div.text_cell_render {'
311 .ui-widget-content { border: 0px; }
311 .ui-widget-content { border: 0px; }
312 }
312 }
313
313
314 .shortcut_key {
315 display: inline-block;
316 width: 10ex;
317 text-align: right;
318 }
319
320 .shortcut_descr {
321 } No newline at end of file
@@ -201,8 +201,8 b' var IPython = (function (IPython) {'
201 ];
201 ];
202 for (var i=0; i<shortcuts.length; i++) {
202 for (var i=0; i<shortcuts.length; i++) {
203 dialog.append($('<div>').
203 dialog.append($('<div>').
204 append($('<span/>').addClass('shortcut_key').html(shortcuts[i].key+' : ')).
204 append($('<span/>').addClass('shortcut_key').html(shortcuts[i].key)).
205 append($('<span/>').html(shortcuts[i].help))
205 append($('<span/>').addClass('shortcut_descr').html(' : ' + shortcuts[i].help))
206 );
206 );
207 };
207 };
208 dialog.dialog({title: 'Keyboard shortcuts'});
208 dialog.dialog({title: 'Keyboard shortcuts'});
General Comments 0
You need to be logged in to leave comments. Login now