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