##// END OF EJS Templates
Merge pull request #4377 from minrk/fix-cancel...
Min RK -
r12978:9d09f0cf merge
parent child Browse files
Show More
@@ -1,381 +1,381 b''
1 //----------------------------------------------------------------------------
1 //----------------------------------------------------------------------------
2 // Copyright (C) 2008-2011 The IPython Development Team
2 // Copyright (C) 2008-2011 The IPython Development Team
3 //
3 //
4 // Distributed under the terms of the BSD License. The full license is in
4 // Distributed under the terms of the BSD License. The full license is in
5 // the file COPYING, distributed as part of this software.
5 // the file COPYING, distributed as part of this software.
6 //----------------------------------------------------------------------------
6 //----------------------------------------------------------------------------
7 //============================================================================
7 //============================================================================
8 // Tooltip
8 // Tooltip
9 //============================================================================
9 //============================================================================
10 //
10 //
11 // you can set the autocall time by setting `IPython.tooltip.time_before_tooltip` in ms
11 // you can set the autocall time by setting `IPython.tooltip.time_before_tooltip` in ms
12 //
12 //
13 // you can configure the differents action of pressing tab several times in a row by
13 // you can configure the differents action of pressing tab several times in a row by
14 // setting/appending different fonction in the array
14 // setting/appending different fonction in the array
15 // IPython.tooltip.tabs_functions
15 // IPython.tooltip.tabs_functions
16 //
16 //
17 // eg :
17 // eg :
18 // IPython.tooltip.tabs_functions[4] = function (){console.log('this is the action of the 4th tab pressing')}
18 // IPython.tooltip.tabs_functions[4] = function (){console.log('this is the action of the 4th tab pressing')}
19 //
19 //
20 var IPython = (function (IPython) {
20 var IPython = (function (IPython) {
21 "use strict";
21 "use strict";
22
22
23 var utils = IPython.utils;
23 var utils = IPython.utils;
24
24
25 // tooltip constructor
25 // tooltip constructor
26 var Tooltip = function () {
26 var Tooltip = function () {
27 var that = this;
27 var that = this;
28 this.time_before_tooltip = 1200;
28 this.time_before_tooltip = 1200;
29
29
30 // handle to html
30 // handle to html
31 this.tooltip = $('#tooltip');
31 this.tooltip = $('#tooltip');
32 this._hidden = true;
32 this._hidden = true;
33
33
34 // variable for consecutive call
34 // variable for consecutive call
35 this._old_cell = null;
35 this._old_cell = null;
36 this._old_request = null;
36 this._old_request = null;
37 this._consecutive_counter = 0;
37 this._consecutive_counter = 0;
38
38
39 // 'sticky ?'
39 // 'sticky ?'
40 this._sticky = false;
40 this._sticky = false;
41
41
42 // display tooltip if the docstring is empty?
42 // display tooltip if the docstring is empty?
43 this._hide_if_no_docstring = false;
43 this._hide_if_no_docstring = false;
44
44
45 // contain the button in the upper right corner
45 // contain the button in the upper right corner
46 this.buttons = $('<div/>').addClass('tooltipbuttons');
46 this.buttons = $('<div/>').addClass('tooltipbuttons');
47
47
48 // will contain the docstring
48 // will contain the docstring
49 this.text = $('<div/>').addClass('tooltiptext').addClass('smalltooltip');
49 this.text = $('<div/>').addClass('tooltiptext').addClass('smalltooltip');
50
50
51 // build the buttons menu on the upper right
51 // build the buttons menu on the upper right
52 // expand the tooltip to see more
52 // expand the tooltip to see more
53 var expandlink = $('<a/>').attr('href', "#").addClass("ui-corner-all") //rounded corner
53 var expandlink = $('<a/>').attr('href', "#").addClass("ui-corner-all") //rounded corner
54 .attr('role', "button").attr('id', 'expanbutton').attr('title', 'Grow the tooltip vertically (press tab 2 times)').click(function () {
54 .attr('role', "button").attr('id', 'expanbutton').attr('title', 'Grow the tooltip vertically (press tab 2 times)').click(function () {
55 that.expand()
55 that.expand()
56 }).append(
56 }).append(
57 $('<span/>').text('Expand').addClass('ui-icon').addClass('ui-icon-plus'));
57 $('<span/>').text('Expand').addClass('ui-icon').addClass('ui-icon-plus'));
58
58
59 // open in pager
59 // open in pager
60 var morelink = $('<a/>').attr('href', "#").attr('role', "button").addClass('ui-button').attr('title', 'show the current docstring in pager (press tab 4 times)');
60 var morelink = $('<a/>').attr('href', "#").attr('role', "button").addClass('ui-button').attr('title', 'show the current docstring in pager (press tab 4 times)');
61 var morespan = $('<span/>').text('Open in Pager').addClass('ui-icon').addClass('ui-icon-arrowstop-l-n');
61 var morespan = $('<span/>').text('Open in Pager').addClass('ui-icon').addClass('ui-icon-arrowstop-l-n');
62 morelink.append(morespan);
62 morelink.append(morespan);
63 morelink.click(function () {
63 morelink.click(function () {
64 that.showInPager(that._old_cell);
64 that.showInPager(that._old_cell);
65 });
65 });
66
66
67 // close the tooltip
67 // close the tooltip
68 var closelink = $('<a/>').attr('href', "#").attr('role', "button").addClass('ui-button');
68 var closelink = $('<a/>').attr('href', "#").attr('role', "button").addClass('ui-button');
69 var closespan = $('<span/>').text('Close').addClass('ui-icon').addClass('ui-icon-close');
69 var closespan = $('<span/>').text('Close').addClass('ui-icon').addClass('ui-icon-close');
70 closelink.append(closespan);
70 closelink.append(closespan);
71 closelink.click(function () {
71 closelink.click(function () {
72 that.remove_and_cancel_tooltip(true);
72 that.remove_and_cancel_tooltip(true);
73 });
73 });
74
74
75 this._clocklink = $('<a/>').attr('href', "#");
75 this._clocklink = $('<a/>').attr('href', "#");
76 this._clocklink.attr('role', "button");
76 this._clocklink.attr('role', "button");
77 this._clocklink.addClass('ui-button');
77 this._clocklink.addClass('ui-button');
78 this._clocklink.attr('title', 'Tootip is not dismissed while typing for 10 seconds');
78 this._clocklink.attr('title', 'Tootip is not dismissed while typing for 10 seconds');
79 var clockspan = $('<span/>').text('Close');
79 var clockspan = $('<span/>').text('Close');
80 clockspan.addClass('ui-icon');
80 clockspan.addClass('ui-icon');
81 clockspan.addClass('ui-icon-clock');
81 clockspan.addClass('ui-icon-clock');
82 this._clocklink.append(clockspan);
82 this._clocklink.append(clockspan);
83 this._clocklink.click(function () {
83 this._clocklink.click(function () {
84 that.cancel_stick();
84 that.cancel_stick();
85 });
85 });
86
86
87
87
88
88
89
89
90 //construct the tooltip
90 //construct the tooltip
91 // add in the reverse order you want them to appear
91 // add in the reverse order you want them to appear
92 this.buttons.append(closelink);
92 this.buttons.append(closelink);
93 this.buttons.append(expandlink);
93 this.buttons.append(expandlink);
94 this.buttons.append(morelink);
94 this.buttons.append(morelink);
95 this.buttons.append(this._clocklink);
95 this.buttons.append(this._clocklink);
96 this._clocklink.hide();
96 this._clocklink.hide();
97
97
98
98
99 // we need a phony element to make the small arrow
99 // we need a phony element to make the small arrow
100 // of the tooltip in css
100 // of the tooltip in css
101 // we will move the arrow later
101 // we will move the arrow later
102 this.arrow = $('<div/>').addClass('pretooltiparrow');
102 this.arrow = $('<div/>').addClass('pretooltiparrow');
103 this.tooltip.append(this.buttons);
103 this.tooltip.append(this.buttons);
104 this.tooltip.append(this.arrow);
104 this.tooltip.append(this.arrow);
105 this.tooltip.append(this.text);
105 this.tooltip.append(this.text);
106
106
107 // function that will be called if you press tab 1, 2, 3... times in a row
107 // function that will be called if you press tab 1, 2, 3... times in a row
108 this.tabs_functions = [function (cell, text) {
108 this.tabs_functions = [function (cell, text) {
109 that._request_tooltip(cell, text);
109 that._request_tooltip(cell, text);
110 }, function () {
110 }, function () {
111 that.expand();
111 that.expand();
112 }, function () {
112 }, function () {
113 that.stick();
113 that.stick();
114 }, function (cell) {
114 }, function (cell) {
115 that.cancel_stick();
115 that.cancel_stick();
116 that.showInPager(cell);
116 that.showInPager(cell);
117 }];
117 }];
118 // call after all the tabs function above have bee call to clean their effects
118 // call after all the tabs function above have bee call to clean their effects
119 // if necessary
119 // if necessary
120 this.reset_tabs_function = function (cell, text) {
120 this.reset_tabs_function = function (cell, text) {
121 this._old_cell = (cell) ? cell : null;
121 this._old_cell = (cell) ? cell : null;
122 this._old_request = (text) ? text : null;
122 this._old_request = (text) ? text : null;
123 this._consecutive_counter = 0;
123 this._consecutive_counter = 0;
124 }
124 }
125 };
125 };
126
126
127 Tooltip.prototype.showInPager = function (cell) {
127 Tooltip.prototype.showInPager = function (cell) {
128 // reexecute last call in pager by appending ? to show back in pager
128 // reexecute last call in pager by appending ? to show back in pager
129 var that = this;
129 var that = this;
130 var empty = function () {};
130 var empty = function () {};
131 cell.kernel.execute(
131 cell.kernel.execute(
132 that.name + '?', {
132 that.name + '?', {
133 'execute_reply': empty,
133 'execute_reply': empty,
134 'output': empty,
134 'output': empty,
135 'clear_output': empty,
135 'clear_output': empty,
136 'cell': cell
136 'cell': cell
137 }, {
137 }, {
138 'silent': false,
138 'silent': false,
139 'store_history': true
139 'store_history': true
140 });
140 });
141 this.remove_and_cancel_tooltip();
141 this.remove_and_cancel_tooltip();
142 }
142 }
143
143
144 // grow the tooltip verticaly
144 // grow the tooltip verticaly
145 Tooltip.prototype.expand = function () {
145 Tooltip.prototype.expand = function () {
146 this.text.removeClass('smalltooltip');
146 this.text.removeClass('smalltooltip');
147 this.text.addClass('bigtooltip');
147 this.text.addClass('bigtooltip');
148 $('#expanbutton').hide('slow');
148 $('#expanbutton').hide('slow');
149 }
149 }
150
150
151 // deal with all the logic of hiding the tooltip
151 // deal with all the logic of hiding the tooltip
152 // and reset it's status
152 // and reset it's status
153 Tooltip.prototype._hide = function () {
153 Tooltip.prototype._hide = function () {
154 this.tooltip.fadeOut('fast');
154 this.tooltip.fadeOut('fast');
155 $('#expanbutton').show('slow');
155 $('#expanbutton').show('slow');
156 this.text.removeClass('bigtooltip');
156 this.text.removeClass('bigtooltip');
157 this.text.addClass('smalltooltip');
157 this.text.addClass('smalltooltip');
158 // keep scroll top to be sure to always see the first line
158 // keep scroll top to be sure to always see the first line
159 this.text.scrollTop(0);
159 this.text.scrollTop(0);
160 this._hidden = true;
160 this._hidden = true;
161 this.code_mirror = null;
161 this.code_mirror = null;
162 }
162 }
163
163
164 // return true on successfully removing a visible tooltip; otherwise return
164 // return true on successfully removing a visible tooltip; otherwise return
165 // false.
165 // false.
166 Tooltip.prototype.remove_and_cancel_tooltip = function (force) {
166 Tooltip.prototype.remove_and_cancel_tooltip = function (force) {
167 // note that we don't handle closing directly inside the calltip
167 // note that we don't handle closing directly inside the calltip
168 // as in the completer, because it is not focusable, so won't
168 // as in the completer, because it is not focusable, so won't
169 // get the event.
169 // get the event.
170 this.cancel_pending();
170 if (!this._hidden) {
171 if (!this._hidden) {
171 if (force || !this._sticky) {
172 if (force || !this._sticky) {
172 this.cancel_stick();
173 this.cancel_stick();
173 this._hide();
174 this._hide();
174 }
175 }
175 this.cancel_pending();
176 this.reset_tabs_function();
176 this.reset_tabs_function();
177 return true;
177 return true;
178 } else {
178 } else {
179 return false;
179 return false;
180 }
180 }
181 }
181 }
182
182
183 // cancel autocall done after '(' for example.
183 // cancel autocall done after '(' for example.
184 Tooltip.prototype.cancel_pending = function () {
184 Tooltip.prototype.cancel_pending = function () {
185 if (this._tooltip_timeout != null) {
185 if (this._tooltip_timeout != null) {
186 clearTimeout(this._tooltip_timeout);
186 clearTimeout(this._tooltip_timeout);
187 this._tooltip_timeout = null;
187 this._tooltip_timeout = null;
188 }
188 }
189 }
189 }
190
190
191 // will trigger tooltip after timeout
191 // will trigger tooltip after timeout
192 Tooltip.prototype.pending = function (cell, hide_if_no_docstring) {
192 Tooltip.prototype.pending = function (cell, hide_if_no_docstring) {
193 var that = this;
193 var that = this;
194 this._tooltip_timeout = setTimeout(function () {
194 this._tooltip_timeout = setTimeout(function () {
195 that.request(cell, hide_if_no_docstring)
195 that.request(cell, hide_if_no_docstring)
196 }, that.time_before_tooltip);
196 }, that.time_before_tooltip);
197 }
197 }
198
198
199 // easy access for julia monkey patching.
199 // easy access for julia monkey patching.
200 Tooltip.last_token_re = /[a-z_][0-9a-z._]+$/gi;
200 Tooltip.last_token_re = /[a-z_][0-9a-z._]+$/gi;
201
201
202 Tooltip.prototype.extract_oir_token = function(line){
202 Tooltip.prototype.extract_oir_token = function(line){
203 // use internally just to make the request to the kernel
203 // use internally just to make the request to the kernel
204 // Feel free to shorten this logic if you are better
204 // Feel free to shorten this logic if you are better
205 // than me in regEx
205 // than me in regEx
206 // basicaly you shoul be able to get xxx.xxx.xxx from
206 // basicaly you shoul be able to get xxx.xxx.xxx from
207 // something(range(10), kwarg=smth) ; xxx.xxx.xxx( firstarg, rand(234,23), kwarg1=2,
207 // something(range(10), kwarg=smth) ; xxx.xxx.xxx( firstarg, rand(234,23), kwarg1=2,
208 // remove everything between matchin bracket (need to iterate)
208 // remove everything between matchin bracket (need to iterate)
209 var matchBracket = /\([^\(\)]+\)/g;
209 var matchBracket = /\([^\(\)]+\)/g;
210 var endBracket = /\([^\(]*$/g;
210 var endBracket = /\([^\(]*$/g;
211 var oldline = line;
211 var oldline = line;
212
212
213 line = line.replace(matchBracket, "");
213 line = line.replace(matchBracket, "");
214 while (oldline != line) {
214 while (oldline != line) {
215 oldline = line;
215 oldline = line;
216 line = line.replace(matchBracket, "");
216 line = line.replace(matchBracket, "");
217 }
217 }
218 // remove everything after last open bracket
218 // remove everything after last open bracket
219 line = line.replace(endBracket, "");
219 line = line.replace(endBracket, "");
220 return Tooltip.last_token_re.exec(line)
220 return Tooltip.last_token_re.exec(line)
221 }
221 }
222
222
223
223
224 Tooltip.prototype._request_tooltip = function (cell, line) {
224 Tooltip.prototype._request_tooltip = function (cell, line) {
225 var callbacks = {
225 var callbacks = {
226 'object_info_reply': $.proxy(this._show, this)
226 'object_info_reply': $.proxy(this._show, this)
227 }
227 }
228 var oir_token = this.extract_oir_token(line)
228 var oir_token = this.extract_oir_token(line)
229 cell.kernel.object_info_request(oir_token, callbacks);
229 cell.kernel.object_info_request(oir_token, callbacks);
230 }
230 }
231
231
232 // make an imediate completion request
232 // make an imediate completion request
233 Tooltip.prototype.request = function (cell, hide_if_no_docstring) {
233 Tooltip.prototype.request = function (cell, hide_if_no_docstring) {
234 // request(codecell)
234 // request(codecell)
235 // Deal with extracting the text from the cell and counting
235 // Deal with extracting the text from the cell and counting
236 // call in a row
236 // call in a row
237 this.cancel_pending();
237 this.cancel_pending();
238 var editor = cell.code_mirror;
238 var editor = cell.code_mirror;
239 var cursor = editor.getCursor();
239 var cursor = editor.getCursor();
240 var text = editor.getRange({
240 var text = editor.getRange({
241 line: cursor.line,
241 line: cursor.line,
242 ch: 0
242 ch: 0
243 }, cursor).trim();
243 }, cursor).trim();
244
244
245 this._hide_if_no_docstring = hide_if_no_docstring;
245 this._hide_if_no_docstring = hide_if_no_docstring;
246
246
247 if(editor.somethingSelected()){
247 if(editor.somethingSelected()){
248 text = editor.getSelection();
248 text = editor.getSelection();
249 }
249 }
250
250
251 // need a permanent handel to code_mirror for future auto recall
251 // need a permanent handel to code_mirror for future auto recall
252 this.code_mirror = editor;
252 this.code_mirror = editor;
253
253
254 // now we treat the different number of keypress
254 // now we treat the different number of keypress
255 // first if same cell, same text, increment counter by 1
255 // first if same cell, same text, increment counter by 1
256 if (this._old_cell == cell && this._old_request == text && this._hidden == false) {
256 if (this._old_cell == cell && this._old_request == text && this._hidden == false) {
257 this._consecutive_counter++;
257 this._consecutive_counter++;
258 } else {
258 } else {
259 // else reset
259 // else reset
260 this.cancel_stick();
260 this.cancel_stick();
261 this.reset_tabs_function (cell, text);
261 this.reset_tabs_function (cell, text);
262 }
262 }
263
263
264 // don't do anything if line beggin with '(' or is empty
264 // don't do anything if line beggin with '(' or is empty
265 if (text === "" || text === "(") {
265 if (text === "" || text === "(") {
266 return;
266 return;
267 }
267 }
268
268
269 this.tabs_functions[this._consecutive_counter](cell, text);
269 this.tabs_functions[this._consecutive_counter](cell, text);
270
270
271 // then if we are at the end of list function, reset
271 // then if we are at the end of list function, reset
272 if (this._consecutive_counter == this.tabs_functions.length) this.reset_tabs_function (cell, text);
272 if (this._consecutive_counter == this.tabs_functions.length) this.reset_tabs_function (cell, text);
273
273
274 return;
274 return;
275 }
275 }
276
276
277 // cancel the option of having the tooltip to stick
277 // cancel the option of having the tooltip to stick
278 Tooltip.prototype.cancel_stick = function () {
278 Tooltip.prototype.cancel_stick = function () {
279 clearTimeout(this._stick_timeout);
279 clearTimeout(this._stick_timeout);
280 this._stick_timeout = null;
280 this._stick_timeout = null;
281 this._clocklink.hide('slow');
281 this._clocklink.hide('slow');
282 this._sticky = false;
282 this._sticky = false;
283 }
283 }
284
284
285 // put the tooltip in a sicky state for 10 seconds
285 // put the tooltip in a sicky state for 10 seconds
286 // it won't be removed by remove_and_cancell() unless you called with
286 // it won't be removed by remove_and_cancell() unless you called with
287 // the first parameter set to true.
287 // the first parameter set to true.
288 // remove_and_cancell_tooltip(true)
288 // remove_and_cancell_tooltip(true)
289 Tooltip.prototype.stick = function (time) {
289 Tooltip.prototype.stick = function (time) {
290 time = (time != undefined) ? time : 10;
290 time = (time != undefined) ? time : 10;
291 var that = this;
291 var that = this;
292 this._sticky = true;
292 this._sticky = true;
293 this._clocklink.show('slow');
293 this._clocklink.show('slow');
294 this._stick_timeout = setTimeout(function () {
294 this._stick_timeout = setTimeout(function () {
295 that._sticky = false;
295 that._sticky = false;
296 that._clocklink.hide('slow');
296 that._clocklink.hide('slow');
297 }, time * 1000);
297 }, time * 1000);
298 }
298 }
299
299
300 // should be called with the kernel reply to actually show the tooltip
300 // should be called with the kernel reply to actually show the tooltip
301 Tooltip.prototype._show = function (reply) {
301 Tooltip.prototype._show = function (reply) {
302 // move the bubble if it is not hidden
302 // move the bubble if it is not hidden
303 // otherwise fade it
303 // otherwise fade it
304 this.name = reply.name;
304 this.name = reply.name;
305
305
306 // do some math to have the tooltip arrow on more or less on left or right
306 // do some math to have the tooltip arrow on more or less on left or right
307 // width of the editor
307 // width of the editor
308 var w = $(this.code_mirror.getScrollerElement()).width();
308 var w = $(this.code_mirror.getScrollerElement()).width();
309 // ofset of the editor
309 // ofset of the editor
310 var o = $(this.code_mirror.getScrollerElement()).offset();
310 var o = $(this.code_mirror.getScrollerElement()).offset();
311
311
312 // whatever anchor/head order but arrow at mid x selection
312 // whatever anchor/head order but arrow at mid x selection
313 var anchor = this.code_mirror.cursorCoords(false);
313 var anchor = this.code_mirror.cursorCoords(false);
314 var head = this.code_mirror.cursorCoords(true);
314 var head = this.code_mirror.cursorCoords(true);
315 var xinit = (head.left+anchor.left)/2;
315 var xinit = (head.left+anchor.left)/2;
316 var xinter = o.left + (xinit - o.left) / w * (w - 450);
316 var xinter = o.left + (xinit - o.left) / w * (w - 450);
317 var posarrowleft = xinit - xinter;
317 var posarrowleft = xinit - xinter;
318
318
319 if (this._hidden == false) {
319 if (this._hidden == false) {
320 this.tooltip.animate({
320 this.tooltip.animate({
321 'left': xinter - 30 + 'px',
321 'left': xinter - 30 + 'px',
322 'top': (head.bottom + 10) + 'px'
322 'top': (head.bottom + 10) + 'px'
323 });
323 });
324 } else {
324 } else {
325 this.tooltip.css({
325 this.tooltip.css({
326 'left': xinter - 30 + 'px'
326 'left': xinter - 30 + 'px'
327 });
327 });
328 this.tooltip.css({
328 this.tooltip.css({
329 'top': (head.bottom + 10) + 'px'
329 'top': (head.bottom + 10) + 'px'
330 });
330 });
331 }
331 }
332 this.arrow.animate({
332 this.arrow.animate({
333 'left': posarrowleft + 'px'
333 'left': posarrowleft + 'px'
334 });
334 });
335
335
336 // build docstring
336 // build docstring
337 var defstring = reply.call_def;
337 var defstring = reply.call_def;
338 if (defstring == null) {
338 if (defstring == null) {
339 defstring = reply.init_definition;
339 defstring = reply.init_definition;
340 }
340 }
341 if (defstring == null) {
341 if (defstring == null) {
342 defstring = reply.definition;
342 defstring = reply.definition;
343 }
343 }
344
344
345 var docstring = reply.call_docstring;
345 var docstring = reply.call_docstring;
346 if (docstring == null) {
346 if (docstring == null) {
347 docstring = reply.init_docstring;
347 docstring = reply.init_docstring;
348 }
348 }
349 if (docstring == null) {
349 if (docstring == null) {
350 docstring = reply.docstring;
350 docstring = reply.docstring;
351 }
351 }
352
352
353 if (docstring == null) {
353 if (docstring == null) {
354 // For reals this time, no docstring
354 // For reals this time, no docstring
355 if (this._hide_if_no_docstring) {
355 if (this._hide_if_no_docstring) {
356 return;
356 return;
357 } else {
357 } else {
358 docstring = "<empty docstring>";
358 docstring = "<empty docstring>";
359 }
359 }
360 }
360 }
361
361
362 this.tooltip.fadeIn('fast');
362 this.tooltip.fadeIn('fast');
363 this._hidden = false;
363 this._hidden = false;
364 this.text.children().remove();
364 this.text.children().remove();
365
365
366 var pre = $('<pre/>').html(utils.fixConsole(docstring));
366 var pre = $('<pre/>').html(utils.fixConsole(docstring));
367 if (defstring) {
367 if (defstring) {
368 var defstring_html = $('<pre/>').html(utils.fixConsole(defstring));
368 var defstring_html = $('<pre/>').html(utils.fixConsole(defstring));
369 this.text.append(defstring_html);
369 this.text.append(defstring_html);
370 }
370 }
371 this.text.append(pre);
371 this.text.append(pre);
372 // keep scroll top to be sure to always see the first line
372 // keep scroll top to be sure to always see the first line
373 this.text.scrollTop(0);
373 this.text.scrollTop(0);
374 }
374 }
375
375
376
376
377 IPython.Tooltip = Tooltip;
377 IPython.Tooltip = Tooltip;
378
378
379 return IPython;
379 return IPython;
380
380
381 }(IPython));
381 }(IPython));
General Comments 0
You need to be logged in to leave comments. Login now