##// END OF EJS Templates
revert PR #1659...
MinRK -
Show More
@@ -1,932 +1,927 b''
1 1 //----------------------------------------------------------------------------
2 2 // Copyright (C) 2008-2011 The IPython Development Team
3 3 //
4 4 // Distributed under the terms of the BSD License. The full license is in
5 5 // the file COPYING, distributed as part of this software.
6 6 //----------------------------------------------------------------------------
7 7
8 8 //============================================================================
9 9 // CodeCell
10 10 //============================================================================
11 11
12 12 var IPython = (function (IPython) {
13 13
14 14 var utils = IPython.utils;
15 15
16 16 var CodeCell = function (notebook) {
17 17 this.code_mirror = null;
18 18 this.input_prompt_number = null;
19 19 this.is_completing = false;
20 20 this.completion_cursor = null;
21 21 this.outputs = [];
22 22 this.collapsed = false;
23 23 this.tooltip_timeout = null;
24 24 this.clear_out_timeout = null;
25 25 IPython.Cell.apply(this, arguments);
26 26 };
27 27
28 28
29 29 CodeCell.prototype = new IPython.Cell();
30 30
31 31
32 32 CodeCell.prototype.create_element = function () {
33 33 var cell = $('<div></div>').addClass('cell border-box-sizing code_cell vbox');
34 34 cell.attr('tabindex','2');
35 35 var input = $('<div></div>').addClass('input hbox');
36 36 input.append($('<div/>').addClass('prompt input_prompt'));
37 37 var input_area = $('<div/>').addClass('input_area box-flex1');
38 38 this.code_mirror = CodeMirror(input_area.get(0), {
39 39 indentUnit : 4,
40 40 mode: 'python',
41 41 theme: 'ipython',
42 42 readOnly: this.read_only,
43 43 onKeyEvent: $.proxy(this.handle_codemirror_keyevent,this)
44 44 });
45 45 input.append(input_area);
46 46 var output = $('<div></div>').addClass('output vbox');
47 47 cell.append(input).append(output);
48 48 this.element = cell;
49 49 this.collapse();
50 50 };
51 51
52 52 //TODO, try to diminish the number of parameters.
53 53 CodeCell.prototype.request_tooltip_after_time = function (pre_cursor,time){
54 54 var that = this;
55 55 if (pre_cursor === "" || pre_cursor === "(" ) {
56 56 // don't do anything if line beggin with '(' or is empty
57 57 } else {
58 58 // Will set a timer to request tooltip in `time`
59 59 that.tooltip_timeout = setTimeout(function(){
60 60 IPython.notebook.request_tool_tip(that, pre_cursor)
61 61 },time);
62 62 }
63 63 };
64 64
65 65 CodeCell.prototype.handle_codemirror_keyevent = function (editor, event) {
66 66 // This method gets called in CodeMirror's onKeyDown/onKeyPress
67 67 // handlers and is used to provide custom key handling. Its return
68 68 // value is used to determine if CodeMirror should ignore the event:
69 69 // true = ignore, false = don't ignore.
70 70
71 71 if (this.read_only){
72 72 return false;
73 73 }
74 74
75 75 // note that we are comparing and setting the time to wait at each key press.
76 76 // a better wqy might be to generate a new function on each time change and
77 77 // assign it to CodeCell.prototype.request_tooltip_after_time
78 78 tooltip_wait_time = this.notebook.time_before_tooltip;
79 79 tooltip_on_tab = this.notebook.tooltip_on_tab;
80 80 var that = this;
81 81 // whatever key is pressed, first, cancel the tooltip request before
82 82 // they are sent, and remove tooltip if any
83 83 if(event.type === 'keydown' ) {
84 84 that.remove_and_cancel_tooltip();
85 85 };
86 86
87 87
88 88 if (event.keyCode === 13 && (event.shiftKey || event.ctrlKey)) {
89 89 // Always ignore shift-enter in CodeMirror as we handle it.
90 90 return true;
91 91 } else if (event.which === 40 && event.type === 'keypress' && tooltip_wait_time >= 0) {
92 92 // triger aon keypress (!) otherwise inconsistent event.which depending on plateform
93 93 // browser and keyboard layout !
94 94 // Pressing '(' , request tooltip, don't forget to reappend it
95 95 var cursor = editor.getCursor();
96 96 var pre_cursor = editor.getRange({line:cursor.line,ch:0},cursor).trim()+'(';
97 97 that.request_tooltip_after_time(pre_cursor,tooltip_wait_time);
98 98 } else if (event.which === 38) {
99 99 // If we are not at the top, let CM handle the up arrow and
100 100 // prevent the global keydown handler from handling it.
101 101 if (!that.at_top()) {
102 102 event.stop();
103 103 return false;
104 104 } else {
105 105 return true;
106 106 };
107 107 } else if (event.which === 40) {
108 108 // If we are not at the bottom, let CM handle the down arrow and
109 109 // prevent the global keydown handler from handling it.
110 110 if (!that.at_bottom()) {
111 111 event.stop();
112 112 return false;
113 113 } else {
114 114 return true;
115 115 };
116 116 } else if (event.keyCode === 9 && event.type == 'keydown') {
117 117 // Tab completion.
118 118 var cur = editor.getCursor();
119 119 //Do not trim here because of tooltip
120 120 var pre_cursor = editor.getRange({line:cur.line,ch:0},cur);
121 121 if (pre_cursor.trim() === "") {
122 122 // Don't autocomplete if the part of the line before the cursor
123 123 // is empty. In this case, let CodeMirror handle indentation.
124 124 return false;
125 125 } else if ((pre_cursor.substr(-1) === "("|| pre_cursor.substr(-1) === " ") && tooltip_on_tab ) {
126 126 that.request_tooltip_after_time(pre_cursor,0);
127 127 // Prevent the event from bubbling up.
128 128 event.stop();
129 129 // Prevent CodeMirror from handling the tab.
130 130 return true;
131 131 } else {
132 132 pre_cursor.trim();
133 133 // Autocomplete the current line.
134 134 event.stop();
135 135 var line = editor.getLine(cur.line);
136 136 this.is_completing = true;
137 137 this.completion_cursor = cur;
138 138 IPython.notebook.complete_cell(this, line, cur.ch);
139 139 return true;
140 140 };
141 141 } else if (event.keyCode === 8 && event.type == 'keydown') {
142 142 // If backspace and the line ends with 4 spaces, remove them.
143 143 var cur = editor.getCursor();
144 144 var line = editor.getLine(cur.line);
145 145 var ending = line.slice(-4);
146 146 if (ending === ' ') {
147 147 editor.replaceRange('',
148 148 {line: cur.line, ch: cur.ch-4},
149 149 {line: cur.line, ch: cur.ch}
150 150 );
151 151 event.stop();
152 152 return true;
153 153 } else {
154 154 return false;
155 155 };
156 156 } else {
157 157 // keypress/keyup also trigger on TAB press, and we don't want to
158 158 // use those to disable tab completion.
159 159 if (this.is_completing && event.keyCode !== 9) {
160 160 var ed_cur = editor.getCursor();
161 161 var cc_cur = this.completion_cursor;
162 162 if (ed_cur.line !== cc_cur.line || ed_cur.ch !== cc_cur.ch) {
163 163 this.is_completing = false;
164 164 this.completion_cursor = null;
165 165 };
166 166 };
167 167 return false;
168 168 };
169 169 return false;
170 170 };
171 171
172 172 CodeCell.prototype.remove_and_cancel_tooltip = function() {
173 173 // note that we don't handle closing directly inside the calltip
174 174 // as in the completer, because it is not focusable, so won't
175 175 // get the event.
176 176 if (this.tooltip_timeout != null){
177 177 clearTimeout(this.tooltip_timeout);
178 178 $('#tooltip').remove();
179 179 this.tooltip_timeout = null;
180 180 }
181 181 }
182 182
183 183 CodeCell.prototype.finish_tooltip = function (reply) {
184 184 // Extract call tip data; the priority is call, init, main.
185 185 defstring = reply.call_def;
186 186 if (defstring == null) { defstring = reply.init_definition; }
187 187 if (defstring == null) { defstring = reply.definition; }
188 188
189 189 docstring = reply.call_docstring;
190 190 if (docstring == null) { docstring = reply.init_docstring; }
191 191 if (docstring == null) { docstring = reply.docstring; }
192 192 if (docstring == null) { docstring = "<empty docstring>"; }
193 193
194 194 name=reply.name;
195 195
196 196 var that = this;
197 197 var tooltip = $('<div/>').attr('id', 'tooltip').addClass('tooltip');
198 198 // remove to have the tooltip not Limited in X and Y
199 199 tooltip.addClass('smalltooltip');
200 200 var pre=$('<pre/>').html(utils.fixConsole(docstring));
201 201 var expandlink=$('<a/>').attr('href',"#");
202 202 expandlink.addClass("ui-corner-all"); //rounded corner
203 203 expandlink.attr('role',"button");
204 204 //expandlink.addClass('ui-button');
205 205 //expandlink.addClass('ui-state-default');
206 206 var expandspan=$('<span/>').text('Expand');
207 207 expandspan.addClass('ui-icon');
208 208 expandspan.addClass('ui-icon-plus');
209 209 expandlink.append(expandspan);
210 210 expandlink.attr('id','expanbutton');
211 211 expandlink.click(function(){
212 212 tooltip.removeClass('smalltooltip');
213 213 tooltip.addClass('bigtooltip');
214 214 $('#expanbutton').remove();
215 215 setTimeout(function(){that.code_mirror.focus();}, 50);
216 216 });
217 217 var morelink=$('<a/>').attr('href',"#");
218 218 morelink.attr('role',"button");
219 219 morelink.addClass('ui-button');
220 220 //morelink.addClass("ui-corner-all"); //rounded corner
221 221 //morelink.addClass('ui-state-default');
222 222 var morespan=$('<span/>').text('Open in Pager');
223 223 morespan.addClass('ui-icon');
224 224 morespan.addClass('ui-icon-arrowstop-l-n');
225 225 morelink.append(morespan);
226 226 morelink.click(function(){
227 227 var msg_id = IPython.notebook.kernel.execute(name+"?");
228 228 IPython.notebook.msg_cell_map[msg_id] = IPython.notebook.get_selected_cell().cell_id;
229 229 that.remove_and_cancel_tooltip();
230 230 setTimeout(function(){that.code_mirror.focus();}, 50);
231 231 });
232 232
233 233 var closelink=$('<a/>').attr('href',"#");
234 234 closelink.attr('role',"button");
235 235 closelink.addClass('ui-button');
236 236 //closelink.addClass("ui-corner-all"); //rounded corner
237 237 //closelink.adClass('ui-state-default'); // grey background and blue cross
238 238 var closespan=$('<span/>').text('Close');
239 239 closespan.addClass('ui-icon');
240 240 closespan.addClass('ui-icon-close');
241 241 closelink.append(closespan);
242 242 closelink.click(function(){
243 243 that.remove_and_cancel_tooltip();
244 244 setTimeout(function(){that.code_mirror.focus();}, 50);
245 245 });
246 246 //construct the tooltip
247 247 tooltip.append(closelink);
248 248 tooltip.append(expandlink);
249 249 tooltip.append(morelink);
250 250 if(defstring){
251 251 defstring_html = $('<pre/>').html(utils.fixConsole(defstring));
252 252 tooltip.append(defstring_html);
253 253 }
254 254 tooltip.append(pre);
255 255 var pos = this.code_mirror.cursorCoords();
256 256 tooltip.css('left',pos.x+'px');
257 257 tooltip.css('top',pos.yBot+'px');
258 258 $('body').append(tooltip);
259 259
260 260 // issues with cross-closing if multiple tooltip in less than 5sec
261 261 // keep it comented for now
262 262 // setTimeout(that.remove_and_cancel_tooltip, 5000);
263 263 };
264 264
265 265 // As you type completer
266 266 CodeCell.prototype.finish_completing = function (matched_text, matches) {
267 267 if(matched_text[0]=='%'){
268 268 completing_from_magic = true;
269 269 completing_to_magic = false;
270 270 } else {
271 271 completing_from_magic = false;
272 272 completing_to_magic = false;
273 273 }
274 274 //return if not completing or nothing to complete
275 275 if (!this.is_completing || matches.length === 0) {return;}
276 276
277 277 // for later readability
278 278 var key = { tab:9,
279 279 esc:27,
280 280 backspace:8,
281 281 space:32,
282 282 shift:16,
283 283 enter:13,
284 284 // _ is 95
285 285 isCompSymbol : function (code)
286 286 {
287 287 return (code > 64 && code <= 90)
288 288 || (code >= 97 && code <= 122)
289 289 || (code == 95)
290 290 },
291 291 dismissAndAppend : function (code)
292 292 {
293 293 chararr = '()[]+-/\\. ,=*'.split("");
294 294 codearr = chararr.map(function(x){return x.charCodeAt(0)});
295 295 return jQuery.inArray(code, codearr) != -1;
296 296 }
297 297
298 298 }
299 299
300 300 // smart completion, sort kwarg ending with '='
301 301 var newm = new Array();
302 302 if(this.notebook.smart_completer)
303 303 {
304 304 kwargs = new Array();
305 305 other = new Array();
306 306 for(var i = 0 ; i<matches.length ; ++i){
307 307 if(matches[i].substr(-1) === '='){
308 308 kwargs.push(matches[i]);
309 309 }else{other.push(matches[i]);}
310 310 }
311 311 newm = kwargs.concat(other);
312 312 matches = newm;
313 313 }
314 314 // end sort kwargs
315 315
316 316 // give common prefix of a array of string
317 317 function sharedStart(A){
318 318 shared='';
319 319 if(A.length == 1){shared=A[0]}
320 320 if(A.length > 1 ){
321 321 var tem1, tem2, s, A = A.slice(0).sort();
322 322 tem1 = A[0];
323 323 s = tem1.length;
324 324 tem2 = A.pop();
325 325 while(s && tem2.indexOf(tem1) == -1){
326 326 tem1 = tem1.substring(0, --s);
327 327 }
328 328 shared = tem1;
329 329 }
330 330 if (shared[0] == '%' && !completing_from_magic)
331 331 {
332 332 shared = shared.substr(1);
333 333 return [shared, true];
334 334 } else {
335 335 return [shared, false];
336 336 }
337 337 }
338 338
339 339
340 340 //try to check if the user is typing tab at least twice after a word
341 341 // and completion is "done"
342 342 fallback_on_tooltip_after = 2
343 343 if(matches.length == 1 && matched_text === matches[0])
344 344 {
345 345 if(this.npressed >fallback_on_tooltip_after && this.prevmatch==matched_text)
346 346 {
347 347 this.request_tooltip_after_time(matched_text+'(',0);
348 348 return;
349 349 }
350 350 this.prevmatch = matched_text
351 351 this.npressed = this.npressed+1;
352 352 }
353 353 else
354 354 {
355 355 this.prevmatch = "";
356 356 this.npressed = 0;
357 357 }
358 358 // end fallback on tooltip
359 359 //==================================
360 360 // Real completion logic start here
361 361 var that = this;
362 362 var cur = this.completion_cursor;
363 363 var done = false;
364 364
365 365 // call to dismmiss the completer
366 366 var close = function () {
367 367 if (done) return;
368 368 done = true;
369 369 if (complete != undefined)
370 370 {complete.remove();}
371 371 that.is_completing = false;
372 372 that.completion_cursor = null;
373 373 };
374 374
375 375 // update codemirror with the typed text
376 376 prev = matched_text
377 377 var update = function (inserted_text, event) {
378 378 that.code_mirror.replaceRange(
379 379 inserted_text,
380 380 {line: cur.line, ch: (cur.ch-matched_text.length)},
381 381 {line: cur.line, ch: (cur.ch+prev.length-matched_text.length)}
382 382 );
383 383 prev = inserted_text
384 384 if(event != null){
385 385 event.stopPropagation();
386 386 event.preventDefault();
387 387 }
388 388 };
389 389 // insert the given text and exit the completer
390 390 var insert = function (selected_text, event) {
391 391 update(selected_text)
392 392 close();
393 393 setTimeout(function(){that.code_mirror.focus();}, 50);
394 394 };
395 395
396 396 // insert the curent highlited selection and exit
397 397 var pick = function () {
398 398 insert(select.val()[0],null);
399 399 };
400 400
401 401
402 402 // Define function to clear the completer, refill it with the new
403 403 // matches, update the pseuso typing field. autopick insert match if
404 404 // only one left, in no matches (anymore) dismiss itself by pasting
405 405 // what the user have typed until then
406 406 var complete_with = function(matches,typed_text,autopick,event)
407 407 {
408 408 // If autopick an only one match, past.
409 409 // Used to 'pick' when pressing tab
410 410 var prefix = '';
411 411 if(completing_to_magic && !completing_from_magic)
412 412 {
413 413 prefix='%';
414 414 }
415 415 if (matches.length < 1) {
416 416 insert(prefix+typed_text,event);
417 417 if(event != null){
418 418 event.stopPropagation();
419 419 event.preventDefault();
420 420 }
421 421 } else if (autopick && matches.length == 1) {
422 422 insert(matches[0],event);
423 423 if(event != null){
424 424 event.stopPropagation();
425 425 event.preventDefault();
426 426 }
427 427 return;
428 428 }
429 429 //clear the previous completion if any
430 430 update(prefix+typed_text,event);
431 431 complete.children().children().remove();
432 432 $('#asyoutype').html("<b>"+prefix+matched_text+"</b>"+typed_text.substr(matched_text.length));
433 433 select = $('#asyoutypeselect');
434 434 for (var i = 0; i<matches.length; ++i) {
435 435 select.append($('<option/>').html(matches[i]));
436 436 }
437 437 select.children().first().attr('selected','true');
438 438 }
439 439
440 440 // create html for completer
441 441 var complete = $('<div/>').addClass('completions');
442 442 complete.attr('id','complete');
443 443 complete.append($('<p/>').attr('id', 'asyoutype').html('<b>fixed part</b>user part'));//pseudo input field
444 444
445 445 var select = $('<select/>').attr('multiple','true');
446 446 select.attr('id', 'asyoutypeselect')
447 447 select.attr('size',Math.min(10,matches.length));
448 448 var pos = this.code_mirror.cursorCoords();
449 449
450 450 // TODO: I propose to remove enough horizontal pixel
451 451 // to align the text later
452 452 complete.css('left',pos.x+'px');
453 453 complete.css('top',pos.yBot+'px');
454 454 complete.append(select);
455 455
456 456 $('body').append(complete);
457 457
458 458 // So a first actual completion. see if all the completion start wit
459 459 // the same letter and complete if necessary
460 460 ff = sharedStart(matches)
461 461 fastForward = ff[0];
462 462 completing_to_magic = ff[1];
463 463 typed_characters = fastForward.substr(matched_text.length);
464 464 complete_with(matches,matched_text+typed_characters,true,null);
465 465 filterd = matches;
466 466 // Give focus to select, and make it filter the match as the user type
467 467 // by filtering the previous matches. Called by .keypress and .keydown
468 468 var downandpress = function (event,press_or_down) {
469 469 var code = event.which;
470 470 var autopick = false; // auto 'pick' if only one match
471 471 if (press_or_down === 0){
472 472 press = true; down = false; //Are we called from keypress or keydown
473 473 } else if (press_or_down == 1){
474 474 press = false; down = true;
475 475 }
476 476 if (code === key.shift) {
477 477 // nothing on Shift
478 478 return;
479 479 }
480 480 if (key.dismissAndAppend(code) && press) {
481 481 var newchar = String.fromCharCode(code);
482 482 typed_characters = typed_characters+newchar;
483 483 insert(matched_text+typed_characters,event);
484 484 return
485 485 }
486 486 if (code === key.enter) {
487 487 // Pressing ENTER will cause a pick
488 488 event.stopPropagation();
489 489 event.preventDefault();
490 490 pick();
491 491 } else if (code === 38 || code === 40) {
492 492 // We don't want the document keydown handler to handle UP/DOWN,
493 493 // but we want the default action.
494 494 event.stopPropagation();
495 495 } else if ( (code == key.backspace)||(code == key.tab && down) || press || key.isCompSymbol(code)){
496 496 if( key.isCompSymbol(code) && press)
497 497 {
498 498 var newchar = String.fromCharCode(code);
499 499 typed_characters = typed_characters+newchar;
500 500 } else if (code == key.tab) {
501 501 ff = sharedStart(matches)
502 502 fastForward = ff[0];
503 503 completing_to_magic = ff[1];
504 504 ffsub = fastForward.substr(matched_text.length+typed_characters.length);
505 505 typed_characters = typed_characters+ffsub;
506 506 autopick = true;
507 507 } else if (code == key.backspace && down) {
508 508 // cancel if user have erase everything, otherwise decrease
509 509 // what we filter with
510 510 event.preventDefault();
511 511 if (typed_characters.length <= 0)
512 512 {
513 513 insert(matched_text,event)
514 514 return
515 515 }
516 516 typed_characters = typed_characters.substr(0,typed_characters.length-1);
517 517 } else if (press && code != key.backspace && code != key.tab && code != 0){
518 518 insert(matched_text+typed_characters,event);
519 519 return
520 520 } else {
521 521 return
522 522 }
523 523 re = new RegExp("^"+"\%?"+matched_text+typed_characters,"");
524 524 filterd = matches.filter(function(x){return re.test(x)});
525 525 ff = sharedStart(filterd);
526 526 completing_to_magic = ff[1];
527 527 complete_with(filterd,matched_text+typed_characters,autopick,event);
528 528 } else if (code == key.esc) {
529 529 // dismiss the completer and go back to before invoking it
530 530 insert(matched_text,event);
531 531 } else if (press) { // abort only on .keypress or esc
532 532 }
533 533 }
534 534 select.keydown(function (event) {
535 535 downandpress(event,1)
536 536 });
537 537 select.keypress(function (event) {
538 538 downandpress(event,0)
539 539 });
540 540 // Double click also causes a pick.
541 541 // and bind the last actions.
542 542 select.dblclick(pick);
543 543 select.blur(close);
544 544 select.focus();
545 545 };
546 546
547 547
548 548 CodeCell.prototype.select = function () {
549 549 IPython.Cell.prototype.select.apply(this);
550 550 this.code_mirror.refresh();
551 551 this.code_mirror.focus();
552 552 // We used to need an additional refresh() after the focus, but
553 553 // it appears that this has been fixed in CM. This bug would show
554 554 // up on FF when a newly loaded markdown cell was edited.
555 555 };
556 556
557 557
558 558 CodeCell.prototype.select_all = function () {
559 559 var start = {line: 0, ch: 0};
560 560 var nlines = this.code_mirror.lineCount();
561 561 var last_line = this.code_mirror.getLine(nlines-1);
562 562 var end = {line: nlines-1, ch: last_line.length};
563 563 this.code_mirror.setSelection(start, end);
564 564 };
565 565
566 566
567 567 CodeCell.prototype.append_output = function (json, dynamic) {
568 568 // If dynamic is true, javascript output will be eval'd.
569 569 this.expand();
570 570 this.flush_clear_timeout();
571 571 if (json.output_type === 'pyout') {
572 572 this.append_pyout(json, dynamic);
573 573 } else if (json.output_type === 'pyerr') {
574 574 this.append_pyerr(json);
575 575 } else if (json.output_type === 'display_data') {
576 576 this.append_display_data(json, dynamic);
577 577 } else if (json.output_type === 'stream') {
578 578 this.append_stream(json);
579 579 };
580 580 this.outputs.push(json);
581 581 };
582 582
583 583
584 584 CodeCell.prototype.create_output_area = function () {
585 585 var oa = $("<div/>").addClass("hbox output_area");
586 586 oa.append($('<div/>').addClass('prompt'));
587 587 return oa;
588 588 };
589 589
590 590
591 591 CodeCell.prototype.append_pyout = function (json, dynamic) {
592 592 n = json.prompt_number || ' ';
593 593 var toinsert = this.create_output_area();
594 594 toinsert.find('div.prompt').addClass('output_prompt').html('Out[' + n + ']:');
595 595 this.append_mime_type(json, toinsert, dynamic);
596 596 this.element.find('div.output').append(toinsert);
597 597 // If we just output latex, typeset it.
598 598 if ((json.latex !== undefined) || (json.html !== undefined)) {
599 599 this.typeset();
600 600 };
601 601 };
602 602
603 603
604 604 CodeCell.prototype.append_pyerr = function (json) {
605 605 var tb = json.traceback;
606 606 if (tb !== undefined && tb.length > 0) {
607 607 var s = '';
608 608 var len = tb.length;
609 609 for (var i=0; i<len; i++) {
610 610 s = s + tb[i] + '\n';
611 611 }
612 612 s = s + '\n';
613 613 var toinsert = this.create_output_area();
614 614 this.append_text(s, toinsert);
615 615 this.element.find('div.output').append(toinsert);
616 616 };
617 617 };
618 618
619 619
620 620 CodeCell.prototype.append_stream = function (json) {
621 621 // temporary fix: if stream undefined (json file written prior to this patch),
622 622 // default to most likely stdout:
623 623 if (json.stream == undefined){
624 624 json.stream = 'stdout';
625 625 }
626
627 var text = utils.fixConsole(json.text);
626 if (!utils.fixConsole(json.text)){
627 // fixConsole gives nothing (empty string, \r, etc.)
628 // so don't append any elements, which might add undesirable space
629 return;
630 }
628 631 var subclass = "output_"+json.stream;
629 632 if (this.outputs.length > 0){
630 633 // have at least one output to consider
631 634 var last = this.outputs[this.outputs.length-1];
632 635 if (last.output_type == 'stream' && json.stream == last.stream){
633 636 // latest output was in the same stream,
634 637 // so append directly into its pre tag
635 638 // escape ANSI & HTML specials:
636 pre = this.element.find('div.'+subclass).last().find('pre');
637 text = utils.fixCarriageReturn(pre.text() + text);
638 pre.text(text);
639 var text = utils.fixConsole(json.text);
640 this.element.find('div.'+subclass).last().find('pre').append(text);
639 641 return;
640 642 }
641 643 }
642
643 if (!text.replace("\r", "")) {
644 // text is nothing (empty string, \r, etc.)
645 // so don't append any elements, which might add undesirable space
646 return;
647 }
648
644
649 645 // If we got here, attach a new div
650 646 var toinsert = this.create_output_area();
651 this.append_text(text, toinsert, "output_stream "+subclass);
647 this.append_text(json.text, toinsert, "output_stream "+subclass);
652 648 this.element.find('div.output').append(toinsert);
653 649 };
654 650
655 651
656 652 CodeCell.prototype.append_display_data = function (json, dynamic) {
657 653 var toinsert = this.create_output_area();
658 654 this.append_mime_type(json, toinsert, dynamic);
659 655 this.element.find('div.output').append(toinsert);
660 656 // If we just output latex, typeset it.
661 657 if ( (json.latex !== undefined) || (json.html !== undefined) ) {
662 658 this.typeset();
663 659 };
664 660 };
665 661
666 662
667 663 CodeCell.prototype.append_mime_type = function (json, element, dynamic) {
668 664 if (json.javascript !== undefined && dynamic) {
669 665 this.append_javascript(json.javascript, element, dynamic);
670 666 } else if (json.html !== undefined) {
671 667 this.append_html(json.html, element);
672 668 } else if (json.latex !== undefined) {
673 669 this.append_latex(json.latex, element);
674 670 } else if (json.svg !== undefined) {
675 671 this.append_svg(json.svg, element);
676 672 } else if (json.png !== undefined) {
677 673 this.append_png(json.png, element);
678 674 } else if (json.jpeg !== undefined) {
679 675 this.append_jpeg(json.jpeg, element);
680 676 } else if (json.text !== undefined) {
681 677 this.append_text(json.text, element);
682 678 };
683 679 };
684 680
685 681
686 682 CodeCell.prototype.append_html = function (html, element) {
687 683 var toinsert = $("<div/>").addClass("box_flex1 output_subarea output_html rendered_html");
688 684 toinsert.append(html);
689 685 element.append(toinsert);
690 686 };
691 687
692 688
693 689 CodeCell.prototype.append_javascript = function (js, container) {
694 690 // We just eval the JS code, element appears in the local scope.
695 691 var element = $("<div/>").addClass("box_flex1 output_subarea");
696 692 container.append(element);
697 693 // Div for js shouldn't be drawn, as it will add empty height to the area.
698 694 container.hide();
699 695 // If the Javascript appends content to `element` that should be drawn, then
700 696 // it must also call `container.show()`.
701 697 eval(js);
702 698 }
703 699
704 700
705 701 CodeCell.prototype.append_text = function (data, element, extra_class) {
706 702 var toinsert = $("<div/>").addClass("box_flex1 output_subarea output_text");
707 703 // escape ANSI & HTML specials in plaintext:
708 704 data = utils.fixConsole(data);
709 data = utils.fixCarriageReturn(data);
710 705 if (extra_class){
711 706 toinsert.addClass(extra_class);
712 707 }
713 708 toinsert.append($("<pre/>").html(data));
714 709 element.append(toinsert);
715 710 };
716 711
717 712
718 713 CodeCell.prototype.append_svg = function (svg, element) {
719 714 var toinsert = $("<div/>").addClass("box_flex1 output_subarea output_svg");
720 715 toinsert.append(svg);
721 716 element.append(toinsert);
722 717 };
723 718
724 719
725 720 CodeCell.prototype.append_png = function (png, element) {
726 721 var toinsert = $("<div/>").addClass("box_flex1 output_subarea output_png");
727 722 toinsert.append($("<img/>").attr('src','data:image/png;base64,'+png));
728 723 element.append(toinsert);
729 724 };
730 725
731 726
732 727 CodeCell.prototype.append_jpeg = function (jpeg, element) {
733 728 var toinsert = $("<div/>").addClass("box_flex1 output_subarea output_jpeg");
734 729 toinsert.append($("<img/>").attr('src','data:image/jpeg;base64,'+jpeg));
735 730 element.append(toinsert);
736 731 };
737 732
738 733
739 734 CodeCell.prototype.append_latex = function (latex, element) {
740 735 // This method cannot do the typesetting because the latex first has to
741 736 // be on the page.
742 737 var toinsert = $("<div/>").addClass("box_flex1 output_subarea output_latex");
743 738 toinsert.append(latex);
744 739 element.append(toinsert);
745 740 };
746 741
747 742
748 743 CodeCell.prototype.clear_output = function (stdout, stderr, other) {
749 744 var that = this;
750 745 if (this.clear_out_timeout != null){
751 746 // fire previous pending clear *immediately*
752 747 clearTimeout(this.clear_out_timeout);
753 748 this.clear_out_timeout = null;
754 749 this.clear_output_callback(this._clear_stdout, this._clear_stderr, this._clear_other);
755 750 }
756 751 // store flags for flushing the timeout
757 752 this._clear_stdout = stdout;
758 753 this._clear_stderr = stderr;
759 754 this._clear_other = other;
760 755 this.clear_out_timeout = setTimeout(function(){
761 756 // really clear timeout only after a short delay
762 757 // this reduces flicker in 'clear_output; print' cases
763 758 that.clear_out_timeout = null;
764 759 that._clear_stdout = that._clear_stderr = that._clear_other = null;
765 760 that.clear_output_callback(stdout, stderr, other);
766 761 }, 500
767 762 );
768 763 };
769 764
770 765 CodeCell.prototype.clear_output_callback = function (stdout, stderr, other) {
771 766 var output_div = this.element.find("div.output");
772 767
773 768 if (stdout && stderr && other){
774 769 // clear all, no need for logic
775 770 output_div.html("");
776 771 this.outputs = [];
777 772 return;
778 773 }
779 774 // remove html output
780 775 // each output_subarea that has an identifying class is in an output_area
781 776 // which is the element to be removed.
782 777 if (stdout){
783 778 output_div.find("div.output_stdout").parent().remove();
784 779 }
785 780 if (stderr){
786 781 output_div.find("div.output_stderr").parent().remove();
787 782 }
788 783 if (other){
789 784 output_div.find("div.output_subarea").not("div.output_stderr").not("div.output_stdout").parent().remove();
790 785 }
791 786
792 787 // remove cleared outputs from JSON list:
793 788 for (var i = this.outputs.length - 1; i >= 0; i--){
794 789 var out = this.outputs[i];
795 790 var output_type = out.output_type;
796 791 if (output_type == "display_data" && other){
797 792 this.outputs.splice(i,1);
798 793 }else if (output_type == "stream"){
799 794 if (stdout && out.stream == "stdout"){
800 795 this.outputs.splice(i,1);
801 796 }else if (stderr && out.stream == "stderr"){
802 797 this.outputs.splice(i,1);
803 798 }
804 799 }
805 800 }
806 801 };
807 802
808 803
809 804 CodeCell.prototype.clear_input = function () {
810 805 this.code_mirror.setValue('');
811 806 };
812 807
813 808 CodeCell.prototype.flush_clear_timeout = function() {
814 809 var output_div = this.element.find('div.output');
815 810 if (this.clear_out_timeout){
816 811 clearTimeout(this.clear_out_timeout);
817 812 this.clear_out_timeout = null;
818 813 this.clear_output_callback(this._clear_stdout, this._clear_stderr, this._clear_other);
819 814 };
820 815 }
821 816
822 817
823 818 CodeCell.prototype.collapse = function () {
824 819 if (!this.collapsed) {
825 820 this.element.find('div.output').hide();
826 821 this.collapsed = true;
827 822 };
828 823 };
829 824
830 825
831 826 CodeCell.prototype.expand = function () {
832 827 if (this.collapsed) {
833 828 this.element.find('div.output').show();
834 829 this.collapsed = false;
835 830 };
836 831 };
837 832
838 833
839 834 CodeCell.prototype.toggle_output = function () {
840 835 if (this.collapsed) {
841 836 this.expand();
842 837 } else {
843 838 this.collapse();
844 839 };
845 840 };
846 841
847 842 CodeCell.prototype.set_input_prompt = function (number) {
848 843 this.input_prompt_number = number;
849 844 var ns = number || "&nbsp;";
850 845 this.element.find('div.input_prompt').html('In&nbsp;[' + ns + ']:');
851 846 };
852 847
853 848
854 849 CodeCell.prototype.get_text = function () {
855 850 return this.code_mirror.getValue();
856 851 };
857 852
858 853
859 854 CodeCell.prototype.set_text = function (code) {
860 855 return this.code_mirror.setValue(code);
861 856 };
862 857
863 858
864 859 CodeCell.prototype.at_top = function () {
865 860 var cursor = this.code_mirror.getCursor();
866 861 if (cursor.line === 0) {
867 862 return true;
868 863 } else {
869 864 return false;
870 865 }
871 866 };
872 867
873 868
874 869 CodeCell.prototype.at_bottom = function () {
875 870 var cursor = this.code_mirror.getCursor();
876 871 if (cursor.line === (this.code_mirror.lineCount()-1)) {
877 872 return true;
878 873 } else {
879 874 return false;
880 875 }
881 876 };
882 877
883 878
884 879 CodeCell.prototype.fromJSON = function (data) {
885 880 if (data.cell_type === 'code') {
886 881 if (data.input !== undefined) {
887 882 this.set_text(data.input);
888 883 }
889 884 if (data.prompt_number !== undefined) {
890 885 this.set_input_prompt(data.prompt_number);
891 886 } else {
892 887 this.set_input_prompt();
893 888 };
894 889 var len = data.outputs.length;
895 890 for (var i=0; i<len; i++) {
896 891 // append with dynamic=false.
897 892 this.append_output(data.outputs[i], false);
898 893 };
899 894 if (data.collapsed !== undefined) {
900 895 if (data.collapsed) {
901 896 this.collapse();
902 897 } else {
903 898 this.expand();
904 899 };
905 900 };
906 901 };
907 902 };
908 903
909 904
910 905 CodeCell.prototype.toJSON = function () {
911 906 var data = {};
912 907 data.input = this.get_text();
913 908 data.cell_type = 'code';
914 909 if (this.input_prompt_number) {
915 910 data.prompt_number = this.input_prompt_number;
916 911 };
917 912 var outputs = [];
918 913 var len = this.outputs.length;
919 914 for (var i=0; i<len; i++) {
920 915 outputs[i] = this.outputs[i];
921 916 };
922 917 data.outputs = outputs;
923 918 data.language = 'python';
924 919 data.collapsed = this.collapsed;
925 920 return data;
926 921 };
927 922
928 923
929 924 IPython.CodeCell = CodeCell;
930 925
931 926 return IPython;
932 927 }(IPython));
@@ -1,102 +1,102 b''
1 1 //----------------------------------------------------------------------------
2 2 // Copyright (C) 2008-2011 The IPython Development Team
3 3 //
4 4 // Distributed under the terms of the BSD License. The full license is in
5 5 // the file COPYING, distributed as part of this software.
6 6 //----------------------------------------------------------------------------
7 7
8 8 //============================================================================
9 9 // Pager
10 10 //============================================================================
11 11
12 12 var IPython = (function (IPython) {
13 13
14 14 var utils = IPython.utils;
15 15
16 16 var Pager = function (pager_selector, pager_splitter_selector) {
17 17 this.pager_element = $(pager_selector);
18 18 this.pager_splitter_element = $(pager_splitter_selector);
19 19 this.expanded = false;
20 20 this.percentage_height = 0.40;
21 21 this.style();
22 22 this.bind_events();
23 23 };
24 24
25 25
26 26 Pager.prototype.style = function () {
27 27 this.pager_splitter_element.addClass('border-box-sizing ui-widget ui-state-default');
28 28 this.pager_element.addClass('border-box-sizing ui-widget');
29 29 this.pager_splitter_element.attr('title', 'Click to Show/Hide pager area');
30 30 };
31 31
32 32
33 33 Pager.prototype.bind_events = function () {
34 34 var that = this;
35 35
36 36 this.pager_element.bind('collapse_pager', function () {
37 37 that.pager_element.hide('fast');
38 38 });
39 39
40 40 this.pager_element.bind('expand_pager', function () {
41 41 that.pager_element.show('fast');
42 42 });
43 43
44 44 this.pager_splitter_element.hover(
45 45 function () {
46 46 that.pager_splitter_element.addClass('ui-state-hover');
47 47 },
48 48 function () {
49 49 that.pager_splitter_element.removeClass('ui-state-hover');
50 50 }
51 51 );
52 52
53 53 this.pager_splitter_element.click(function () {
54 54 that.toggle();
55 55 });
56 56
57 57 };
58 58
59 59
60 60 Pager.prototype.collapse = function () {
61 61 if (this.expanded === true) {
62 62 this.pager_element.add($('div#notebook')).trigger('collapse_pager');
63 63 this.expanded = false;
64 64 };
65 65 };
66 66
67 67
68 68 Pager.prototype.expand = function () {
69 69 if (this.expanded !== true) {
70 70 this.pager_element.add($('div#notebook')).trigger('expand_pager');
71 71 this.expanded = true;
72 72 };
73 73 };
74 74
75 75
76 76 Pager.prototype.toggle = function () {
77 77 if (this.expanded === true) {
78 78 this.collapse();
79 79 } else {
80 80 this.expand();
81 81 };
82 82 };
83 83
84 84
85 85 Pager.prototype.clear = function (text) {
86 86 this.pager_element.empty();
87 87 };
88 88
89 89
90 90 Pager.prototype.append_text = function (text) {
91 91 var toinsert = $("<div/>").addClass("output_area output_stream");
92 toinsert.append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
92 toinsert.append($('<pre/>').html(utils.fixConsole(text)));
93 93 this.pager_element.append(toinsert);
94 };
94 };
95 95
96 96
97 97 IPython.Pager = Pager;
98 98
99 99 return IPython;
100 100
101 101 }(IPython));
102 102
@@ -1,111 +1,102 b''
1 1 //----------------------------------------------------------------------------
2 2 // Copyright (C) 2008-2011 The IPython Development Team
3 3 //
4 4 // Distributed under the terms of the BSD License. The full license is in
5 5 // the file COPYING, distributed as part of this software.
6 6 //----------------------------------------------------------------------------
7 7
8 8 //============================================================================
9 9 // Utilities
10 10 //============================================================================
11 11
12 12 IPython.namespace('IPython.utils');
13 13
14 14 IPython.utils = (function (IPython) {
15 15
16 16 var uuid = function () {
17 17 // http://www.ietf.org/rfc/rfc4122.txt
18 18 var s = [];
19 19 var hexDigits = "0123456789ABCDEF";
20 20 for (var i = 0; i < 32; i++) {
21 21 s[i] = hexDigits.substr(Math.floor(Math.random() * 0x10), 1);
22 22 }
23 23 s[12] = "4"; // bits 12-15 of the time_hi_and_version field to 0010
24 24 s[16] = hexDigits.substr((s[16] & 0x3) | 0x8, 1); // bits 6-7 of the clock_seq_hi_and_reserved to 01
25 25
26 26 var uuid = s.join("");
27 27 return uuid;
28 28 };
29 29
30 30
31 31 //Fix raw text to parse correctly in crazy XML
32 32 function xmlencode(string) {
33 33 return string.replace(/\&/g,'&'+'amp;')
34 34 .replace(/</g,'&'+'lt;')
35 35 .replace(/>/g,'&'+'gt;')
36 36 .replace(/\'/g,'&'+'apos;')
37 37 .replace(/\"/g,'&'+'quot;')
38 38 .replace(/`/g,'&'+'#96;');
39 39 }
40 40
41 41
42 42 //Map from terminal commands to CSS classes
43 43 ansi_colormap = {
44 44 "30":"ansiblack", "31":"ansired",
45 45 "32":"ansigreen", "33":"ansiyellow",
46 46 "34":"ansiblue", "35":"ansipurple","36":"ansicyan",
47 47 "37":"ansigrey", "01":"ansibold"
48 48 };
49 49
50 // Transform ANSI color escape codes into HTML <span> tags with css
50 // Transform ANI color escape codes into HTML <span> tags with css
51 51 // classes listed in the above ansi_colormap object. The actual color used
52 52 // are set in the css file.
53 53 function fixConsole(txt) {
54 54 txt = xmlencode(txt);
55 55 var re = /\033\[([\dA-Fa-f;]*?)m/;
56 56 var opened = false;
57 57 var cmds = [];
58 58 var opener = "";
59 59 var closer = "";
60 // \r does nothing, so shouldn't be included
61 txt = txt.replace('\r', '');
60 62 while (re.test(txt)) {
61 63 var cmds = txt.match(re)[1].split(";");
62 64 closer = opened?"</span>":"";
63 65 opened = cmds.length > 1 || cmds[0] != 0;
64 66 var rep = [];
65 67 for (var i in cmds)
66 68 if (typeof(ansi_colormap[cmds[i]]) != "undefined")
67 69 rep.push(ansi_colormap[cmds[i]]);
68 70 opener = rep.length > 0?"<span class=\""+rep.join(" ")+"\">":"";
69 71 txt = txt.replace(re, closer + opener);
70 72 }
71 73 if (opened) txt += "</span>";
72 74 return txt;
73 75 }
74 76
75 // Remove chunks that should be overridden by the effect of
76 // carriage return characters
77 function fixCarriageReturn(txt) {
78 tmp = txt;
79 do {
80 txt = tmp;
81 tmp = txt.replace(/^.*\r/gm, '');
82 } while (tmp.length < txt.length);
83 return txt;
84 }
85 77
86 78 grow = function(element) {
87 79 // Grow the cell by hand. This is used upon reloading from JSON, when the
88 80 // autogrow handler is not called.
89 81 var dom = element.get(0);
90 82 var lines_count = 0;
91 83 // modified split rule from
92 84 // http://stackoverflow.com/questions/2035910/how-to-get-the-number-of-lines-in-a-textarea/2036424#2036424
93 85 var lines = dom.value.split(/\r|\r\n|\n/);
94 86 lines_count = lines.length;
95 87 if (lines_count >= 1) {
96 88 dom.rows = lines_count;
97 89 } else {
98 90 dom.rows = 1;
99 91 }
100 92 };
101 93
102 94
103 95 return {
104 96 uuid : uuid,
105 97 fixConsole : fixConsole,
106 grow : grow,
107 fixCarriageReturn : fixCarriageReturn
98 grow : grow
108 99 };
109 100
110 101 }(IPython));
111 102
General Comments 0
You need to be logged in to leave comments. Login now