Show More
@@ -71,7 +71,6 var IPython = (function (IPython) { | |||||
71 | tooltip_wait_time = this.notebook.time_before_tooltip; |
|
71 | tooltip_wait_time = this.notebook.time_before_tooltip; | |
72 | tooltip_on_tab = this.notebook.tooltip_on_tab; |
|
72 | tooltip_on_tab = this.notebook.tooltip_on_tab; | |
73 | var that = this; |
|
73 | var that = this; | |
74 |
|
||||
75 | // whatever key is pressed, first, cancel the tooltip request before |
|
74 | // whatever key is pressed, first, cancel the tooltip request before | |
76 | // they are sent, and remove tooltip if any |
|
75 | // they are sent, and remove tooltip if any | |
77 | if(event.type === 'keydown' && this.tooltip_timeout != null){ |
|
76 | if(event.type === 'keydown' && this.tooltip_timeout != null){ | |
@@ -82,7 +81,9 var IPython = (function (IPython) { | |||||
82 | if (event.keyCode === 13 && (event.shiftKey || event.ctrlKey)) { |
|
81 | if (event.keyCode === 13 && (event.shiftKey || event.ctrlKey)) { | |
83 | // Always ignore shift-enter in CodeMirror as we handle it. |
|
82 | // Always ignore shift-enter in CodeMirror as we handle it. | |
84 | return true; |
|
83 | return true; | |
85 |
}else if (event. |
|
84 | }else if (event.which === 40 && event.type === 'keypress' && tooltip_wait_time >= 0) { | |
|
85 | // triger aon keypress (!) otherwise inconsistent event.which depending on plateform | |||
|
86 | // browser and keyboard layout ! | |||
86 | // Pressing '(' , request tooltip, don't forget to reappend it |
|
87 | // Pressing '(' , request tooltip, don't forget to reappend it | |
87 | var cursor = editor.getCursor(); |
|
88 | var cursor = editor.getCursor(); | |
88 | var pre_cursor = editor.getRange({line:cursor.line,ch:0},cursor).trim()+'('; |
|
89 | var pre_cursor = editor.getRange({line:cursor.line,ch:0},cursor).trim()+'('; |
General Comments 0
You need to be logged in to leave comments.
Login now