##// END OF EJS Templates
coalesce stream output in the notebook...
MinRK -
Show More
@@ -1,992 +1,1001 b''
1 // Copyright (c) IPython Development Team.
1 // Copyright (c) IPython Development Team.
2 // Distributed under the terms of the Modified BSD License.
2 // Distributed under the terms of the Modified BSD License.
3
3
4 define([
4 define([
5 'base/js/namespace',
5 'base/js/namespace',
6 'jqueryui',
6 'jqueryui',
7 'base/js/utils',
7 'base/js/utils',
8 'base/js/security',
8 'base/js/security',
9 'base/js/keyboard',
9 'base/js/keyboard',
10 'notebook/js/mathjaxutils',
10 'notebook/js/mathjaxutils',
11 ], function(IPython, $, utils, security, keyboard, mathjaxutils) {
11 ], function(IPython, $, utils, security, keyboard, mathjaxutils) {
12 "use strict";
12 "use strict";
13
13
14 /**
14 /**
15 * @class OutputArea
15 * @class OutputArea
16 *
16 *
17 * @constructor
17 * @constructor
18 */
18 */
19
19
20 var OutputArea = function (options) {
20 var OutputArea = function (options) {
21 this.selector = options.selector;
21 this.selector = options.selector;
22 this.events = options.events;
22 this.events = options.events;
23 this.keyboard_manager = options.keyboard_manager;
23 this.keyboard_manager = options.keyboard_manager;
24 this.wrapper = $(options.selector);
24 this.wrapper = $(options.selector);
25 this.outputs = [];
25 this.outputs = [];
26 this.collapsed = false;
26 this.collapsed = false;
27 this.scrolled = false;
27 this.scrolled = false;
28 this.trusted = true;
28 this.trusted = true;
29 this.clear_queued = null;
29 this.clear_queued = null;
30 if (options.prompt_area === undefined) {
30 if (options.prompt_area === undefined) {
31 this.prompt_area = true;
31 this.prompt_area = true;
32 } else {
32 } else {
33 this.prompt_area = options.prompt_area;
33 this.prompt_area = options.prompt_area;
34 }
34 }
35 this.create_elements();
35 this.create_elements();
36 this.style();
36 this.style();
37 this.bind_events();
37 this.bind_events();
38 };
38 };
39
39
40
40
41 /**
41 /**
42 * Class prototypes
42 * Class prototypes
43 **/
43 **/
44
44
45 OutputArea.prototype.create_elements = function () {
45 OutputArea.prototype.create_elements = function () {
46 this.element = $("<div/>");
46 this.element = $("<div/>");
47 this.collapse_button = $("<div/>");
47 this.collapse_button = $("<div/>");
48 this.prompt_overlay = $("<div/>");
48 this.prompt_overlay = $("<div/>");
49 this.wrapper.append(this.prompt_overlay);
49 this.wrapper.append(this.prompt_overlay);
50 this.wrapper.append(this.element);
50 this.wrapper.append(this.element);
51 this.wrapper.append(this.collapse_button);
51 this.wrapper.append(this.collapse_button);
52 };
52 };
53
53
54
54
55 OutputArea.prototype.style = function () {
55 OutputArea.prototype.style = function () {
56 this.collapse_button.hide();
56 this.collapse_button.hide();
57 this.prompt_overlay.hide();
57 this.prompt_overlay.hide();
58
58
59 this.wrapper.addClass('output_wrapper');
59 this.wrapper.addClass('output_wrapper');
60 this.element.addClass('output');
60 this.element.addClass('output');
61
61
62 this.collapse_button.addClass("btn btn-default output_collapsed");
62 this.collapse_button.addClass("btn btn-default output_collapsed");
63 this.collapse_button.attr('title', 'click to expand output');
63 this.collapse_button.attr('title', 'click to expand output');
64 this.collapse_button.text('. . .');
64 this.collapse_button.text('. . .');
65
65
66 this.prompt_overlay.addClass('out_prompt_overlay prompt');
66 this.prompt_overlay.addClass('out_prompt_overlay prompt');
67 this.prompt_overlay.attr('title', 'click to expand output; double click to hide output');
67 this.prompt_overlay.attr('title', 'click to expand output; double click to hide output');
68
68
69 this.collapse();
69 this.collapse();
70 };
70 };
71
71
72 /**
72 /**
73 * Should the OutputArea scroll?
73 * Should the OutputArea scroll?
74 * Returns whether the height (in lines) exceeds a threshold.
74 * Returns whether the height (in lines) exceeds a threshold.
75 *
75 *
76 * @private
76 * @private
77 * @method _should_scroll
77 * @method _should_scroll
78 * @param [lines=100]{Integer}
78 * @param [lines=100]{Integer}
79 * @return {Bool}
79 * @return {Bool}
80 *
80 *
81 */
81 */
82 OutputArea.prototype._should_scroll = function (lines) {
82 OutputArea.prototype._should_scroll = function (lines) {
83 if (lines <=0 ){ return }
83 if (lines <=0 ){ return }
84 if (!lines) {
84 if (!lines) {
85 lines = 100;
85 lines = 100;
86 }
86 }
87 // line-height from http://stackoverflow.com/questions/1185151
87 // line-height from http://stackoverflow.com/questions/1185151
88 var fontSize = this.element.css('font-size');
88 var fontSize = this.element.css('font-size');
89 var lineHeight = Math.floor(parseInt(fontSize.replace('px','')) * 1.5);
89 var lineHeight = Math.floor(parseInt(fontSize.replace('px','')) * 1.5);
90
90
91 return (this.element.height() > lines * lineHeight);
91 return (this.element.height() > lines * lineHeight);
92 };
92 };
93
93
94
94
95 OutputArea.prototype.bind_events = function () {
95 OutputArea.prototype.bind_events = function () {
96 var that = this;
96 var that = this;
97 this.prompt_overlay.dblclick(function () { that.toggle_output(); });
97 this.prompt_overlay.dblclick(function () { that.toggle_output(); });
98 this.prompt_overlay.click(function () { that.toggle_scroll(); });
98 this.prompt_overlay.click(function () { that.toggle_scroll(); });
99
99
100 this.element.resize(function () {
100 this.element.resize(function () {
101 // FIXME: Firefox on Linux misbehaves, so automatic scrolling is disabled
101 // FIXME: Firefox on Linux misbehaves, so automatic scrolling is disabled
102 if ( utils.browser[0] === "Firefox" ) {
102 if ( utils.browser[0] === "Firefox" ) {
103 return;
103 return;
104 }
104 }
105 // maybe scroll output,
105 // maybe scroll output,
106 // if it's grown large enough and hasn't already been scrolled.
106 // if it's grown large enough and hasn't already been scrolled.
107 if ( !that.scrolled && that._should_scroll(OutputArea.auto_scroll_threshold)) {
107 if ( !that.scrolled && that._should_scroll(OutputArea.auto_scroll_threshold)) {
108 that.scroll_area();
108 that.scroll_area();
109 }
109 }
110 });
110 });
111 this.collapse_button.click(function () {
111 this.collapse_button.click(function () {
112 that.expand();
112 that.expand();
113 });
113 });
114 };
114 };
115
115
116
116
117 OutputArea.prototype.collapse = function () {
117 OutputArea.prototype.collapse = function () {
118 if (!this.collapsed) {
118 if (!this.collapsed) {
119 this.element.hide();
119 this.element.hide();
120 this.prompt_overlay.hide();
120 this.prompt_overlay.hide();
121 if (this.element.html()){
121 if (this.element.html()){
122 this.collapse_button.show();
122 this.collapse_button.show();
123 }
123 }
124 this.collapsed = true;
124 this.collapsed = true;
125 }
125 }
126 };
126 };
127
127
128
128
129 OutputArea.prototype.expand = function () {
129 OutputArea.prototype.expand = function () {
130 if (this.collapsed) {
130 if (this.collapsed) {
131 this.collapse_button.hide();
131 this.collapse_button.hide();
132 this.element.show();
132 this.element.show();
133 this.prompt_overlay.show();
133 this.prompt_overlay.show();
134 this.collapsed = false;
134 this.collapsed = false;
135 }
135 }
136 };
136 };
137
137
138
138
139 OutputArea.prototype.toggle_output = function () {
139 OutputArea.prototype.toggle_output = function () {
140 if (this.collapsed) {
140 if (this.collapsed) {
141 this.expand();
141 this.expand();
142 } else {
142 } else {
143 this.collapse();
143 this.collapse();
144 }
144 }
145 };
145 };
146
146
147
147
148 OutputArea.prototype.scroll_area = function () {
148 OutputArea.prototype.scroll_area = function () {
149 this.element.addClass('output_scroll');
149 this.element.addClass('output_scroll');
150 this.prompt_overlay.attr('title', 'click to unscroll output; double click to hide');
150 this.prompt_overlay.attr('title', 'click to unscroll output; double click to hide');
151 this.scrolled = true;
151 this.scrolled = true;
152 };
152 };
153
153
154
154
155 OutputArea.prototype.unscroll_area = function () {
155 OutputArea.prototype.unscroll_area = function () {
156 this.element.removeClass('output_scroll');
156 this.element.removeClass('output_scroll');
157 this.prompt_overlay.attr('title', 'click to scroll output; double click to hide');
157 this.prompt_overlay.attr('title', 'click to scroll output; double click to hide');
158 this.scrolled = false;
158 this.scrolled = false;
159 };
159 };
160
160
161 /**
161 /**
162 *
162 *
163 * Scroll OutputArea if height supperior than a threshold (in lines).
163 * Scroll OutputArea if height supperior than a threshold (in lines).
164 *
164 *
165 * Threshold is a maximum number of lines. If unspecified, defaults to
165 * Threshold is a maximum number of lines. If unspecified, defaults to
166 * OutputArea.minimum_scroll_threshold.
166 * OutputArea.minimum_scroll_threshold.
167 *
167 *
168 * Negative threshold will prevent the OutputArea from ever scrolling.
168 * Negative threshold will prevent the OutputArea from ever scrolling.
169 *
169 *
170 * @method scroll_if_long
170 * @method scroll_if_long
171 *
171 *
172 * @param [lines=20]{Number} Default to 20 if not set,
172 * @param [lines=20]{Number} Default to 20 if not set,
173 * behavior undefined for value of `0`.
173 * behavior undefined for value of `0`.
174 *
174 *
175 **/
175 **/
176 OutputArea.prototype.scroll_if_long = function (lines) {
176 OutputArea.prototype.scroll_if_long = function (lines) {
177 var n = lines | OutputArea.minimum_scroll_threshold;
177 var n = lines | OutputArea.minimum_scroll_threshold;
178 if(n <= 0){
178 if(n <= 0){
179 return
179 return
180 }
180 }
181
181
182 if (this._should_scroll(n)) {
182 if (this._should_scroll(n)) {
183 // only allow scrolling long-enough output
183 // only allow scrolling long-enough output
184 this.scroll_area();
184 this.scroll_area();
185 }
185 }
186 };
186 };
187
187
188
188
189 OutputArea.prototype.toggle_scroll = function () {
189 OutputArea.prototype.toggle_scroll = function () {
190 if (this.scrolled) {
190 if (this.scrolled) {
191 this.unscroll_area();
191 this.unscroll_area();
192 } else {
192 } else {
193 // only allow scrolling long-enough output
193 // only allow scrolling long-enough output
194 this.scroll_if_long();
194 this.scroll_if_long();
195 }
195 }
196 };
196 };
197
197
198
198
199 // typeset with MathJax if MathJax is available
199 // typeset with MathJax if MathJax is available
200 OutputArea.prototype.typeset = function () {
200 OutputArea.prototype.typeset = function () {
201 if (window.MathJax){
201 if (window.MathJax){
202 MathJax.Hub.Queue(["Typeset",MathJax.Hub]);
202 MathJax.Hub.Queue(["Typeset",MathJax.Hub]);
203 }
203 }
204 };
204 };
205
205
206
206
207 OutputArea.prototype.handle_output = function (msg) {
207 OutputArea.prototype.handle_output = function (msg) {
208 var json = {};
208 var json = {};
209 var msg_type = json.output_type = msg.header.msg_type;
209 var msg_type = json.output_type = msg.header.msg_type;
210 var content = msg.content;
210 var content = msg.content;
211 if (msg_type === "stream") {
211 if (msg_type === "stream") {
212 json.text = content.data;
212 json.text = content.data;
213 json.stream = content.name;
213 json.stream = content.name;
214 } else if (msg_type === "display_data") {
214 } else if (msg_type === "display_data") {
215 json = content.data;
215 json = content.data;
216 json.output_type = msg_type;
216 json.output_type = msg_type;
217 json.metadata = content.metadata;
217 json.metadata = content.metadata;
218 } else if (msg_type === "execute_result") {
218 } else if (msg_type === "execute_result") {
219 json = content.data;
219 json = content.data;
220 json.output_type = msg_type;
220 json.output_type = msg_type;
221 json.metadata = content.metadata;
221 json.metadata = content.metadata;
222 json.prompt_number = content.execution_count;
222 json.prompt_number = content.execution_count;
223 } else if (msg_type === "error") {
223 } else if (msg_type === "error") {
224 json.ename = content.ename;
224 json.ename = content.ename;
225 json.evalue = content.evalue;
225 json.evalue = content.evalue;
226 json.traceback = content.traceback;
226 json.traceback = content.traceback;
227 } else {
227 } else {
228 console.log("unhandled output message", msg);
228 console.log("unhandled output message", msg);
229 return;
229 return;
230 }
230 }
231 this.append_output(json);
231 this.append_output(json);
232 };
232 };
233
233
234
234
235 OutputArea.prototype.rename_keys = function (data, key_map) {
235 OutputArea.prototype.rename_keys = function (data, key_map) {
236 var remapped = {};
236 var remapped = {};
237 for (var key in data) {
237 for (var key in data) {
238 var new_key = key_map[key] || key;
238 var new_key = key_map[key] || key;
239 remapped[new_key] = data[key];
239 remapped[new_key] = data[key];
240 }
240 }
241 return remapped;
241 return remapped;
242 };
242 };
243
243
244
244
245 OutputArea.output_types = [
245 OutputArea.output_types = [
246 'application/javascript',
246 'application/javascript',
247 'text/html',
247 'text/html',
248 'text/markdown',
248 'text/markdown',
249 'text/latex',
249 'text/latex',
250 'image/svg+xml',
250 'image/svg+xml',
251 'image/png',
251 'image/png',
252 'image/jpeg',
252 'image/jpeg',
253 'application/pdf',
253 'application/pdf',
254 'text/plain'
254 'text/plain'
255 ];
255 ];
256
256
257 OutputArea.prototype.validate_output = function (json) {
257 OutputArea.prototype.validate_output = function (json) {
258 // scrub invalid outputs
258 // scrub invalid outputs
259 // TODO: right now everything is a string, but JSON really shouldn't be.
259 // TODO: right now everything is a string, but JSON really shouldn't be.
260 // nbformat 4 will fix that.
260 // nbformat 4 will fix that.
261 $.map(OutputArea.output_types, function(key){
261 $.map(OutputArea.output_types, function(key){
262 if (json[key] !== undefined && typeof json[key] !== 'string') {
262 if (json[key] !== undefined && typeof json[key] !== 'string') {
263 console.log("Invalid type for " + key, json[key]);
263 console.log("Invalid type for " + key, json[key]);
264 delete json[key];
264 delete json[key];
265 }
265 }
266 });
266 });
267 return json;
267 return json;
268 };
268 };
269
269
270 OutputArea.prototype.append_output = function (json) {
270 OutputArea.prototype.append_output = function (json) {
271 this.expand();
271 this.expand();
272
272
273 // validate output data types
273 // validate output data types
274 json = this.validate_output(json);
274 json = this.validate_output(json);
275
275
276 // Clear the output if clear is queued.
276 // Clear the output if clear is queued.
277 var needs_height_reset = false;
277 var needs_height_reset = false;
278 if (this.clear_queued) {
278 if (this.clear_queued) {
279 this.clear_output(false);
279 this.clear_output(false);
280 needs_height_reset = true;
280 needs_height_reset = true;
281 }
281 }
282
282
283 var record_output = true;
284
283 if (json.output_type === 'execute_result') {
285 if (json.output_type === 'execute_result') {
284 this.append_execute_result(json);
286 this.append_execute_result(json);
285 } else if (json.output_type === 'error') {
287 } else if (json.output_type === 'error') {
286 this.append_error(json);
288 this.append_error(json);
287 } else if (json.output_type === 'stream') {
289 } else if (json.output_type === 'stream') {
288 this.append_stream(json);
290 // append_stream might have merged the output with earlier stream output
291 record_output = this.append_stream(json);
289 }
292 }
290
293
291 // We must release the animation fixed height in a callback since Gecko
294 // We must release the animation fixed height in a callback since Gecko
292 // (FireFox) doesn't render the image immediately as the data is
295 // (FireFox) doesn't render the image immediately as the data is
293 // available.
296 // available.
294 var that = this;
297 var that = this;
295 var handle_appended = function ($el) {
298 var handle_appended = function ($el) {
296 // Only reset the height to automatic if the height is currently
299 // Only reset the height to automatic if the height is currently
297 // fixed (done by wait=True flag on clear_output).
300 // fixed (done by wait=True flag on clear_output).
298 if (needs_height_reset) {
301 if (needs_height_reset) {
299 that.element.height('');
302 that.element.height('');
300 }
303 }
301 that.element.trigger('resize');
304 that.element.trigger('resize');
302 };
305 };
303 if (json.output_type === 'display_data') {
306 if (json.output_type === 'display_data') {
304 this.append_display_data(json, handle_appended);
307 this.append_display_data(json, handle_appended);
305 } else {
308 } else {
306 handle_appended();
309 handle_appended();
307 }
310 }
308
311
309 this.outputs.push(json);
312 if (record_output) {
313 this.outputs.push(json);
314 }
310 };
315 };
311
316
312
317
313 OutputArea.prototype.create_output_area = function () {
318 OutputArea.prototype.create_output_area = function () {
314 var oa = $("<div/>").addClass("output_area");
319 var oa = $("<div/>").addClass("output_area");
315 if (this.prompt_area) {
320 if (this.prompt_area) {
316 oa.append($('<div/>').addClass('prompt'));
321 oa.append($('<div/>').addClass('prompt'));
317 }
322 }
318 return oa;
323 return oa;
319 };
324 };
320
325
321
326
322 function _get_metadata_key(metadata, key, mime) {
327 function _get_metadata_key(metadata, key, mime) {
323 var mime_md = metadata[mime];
328 var mime_md = metadata[mime];
324 // mime-specific higher priority
329 // mime-specific higher priority
325 if (mime_md && mime_md[key] !== undefined) {
330 if (mime_md && mime_md[key] !== undefined) {
326 return mime_md[key];
331 return mime_md[key];
327 }
332 }
328 // fallback on global
333 // fallback on global
329 return metadata[key];
334 return metadata[key];
330 }
335 }
331
336
332 OutputArea.prototype.create_output_subarea = function(md, classes, mime) {
337 OutputArea.prototype.create_output_subarea = function(md, classes, mime) {
333 var subarea = $('<div/>').addClass('output_subarea').addClass(classes);
338 var subarea = $('<div/>').addClass('output_subarea').addClass(classes);
334 if (_get_metadata_key(md, 'isolated', mime)) {
339 if (_get_metadata_key(md, 'isolated', mime)) {
335 // Create an iframe to isolate the subarea from the rest of the
340 // Create an iframe to isolate the subarea from the rest of the
336 // document
341 // document
337 var iframe = $('<iframe/>').addClass('box-flex1');
342 var iframe = $('<iframe/>').addClass('box-flex1');
338 iframe.css({'height':1, 'width':'100%', 'display':'block'});
343 iframe.css({'height':1, 'width':'100%', 'display':'block'});
339 iframe.attr('frameborder', 0);
344 iframe.attr('frameborder', 0);
340 iframe.attr('scrolling', 'auto');
345 iframe.attr('scrolling', 'auto');
341
346
342 // Once the iframe is loaded, the subarea is dynamically inserted
347 // Once the iframe is loaded, the subarea is dynamically inserted
343 iframe.on('load', function() {
348 iframe.on('load', function() {
344 // Workaround needed by Firefox, to properly render svg inside
349 // Workaround needed by Firefox, to properly render svg inside
345 // iframes, see http://stackoverflow.com/questions/10177190/
350 // iframes, see http://stackoverflow.com/questions/10177190/
346 // svg-dynamically-added-to-iframe-does-not-render-correctly
351 // svg-dynamically-added-to-iframe-does-not-render-correctly
347 this.contentDocument.open();
352 this.contentDocument.open();
348
353
349 // Insert the subarea into the iframe
354 // Insert the subarea into the iframe
350 // We must directly write the html. When using Jquery's append
355 // We must directly write the html. When using Jquery's append
351 // method, javascript is evaluated in the parent document and
356 // method, javascript is evaluated in the parent document and
352 // not in the iframe document. At this point, subarea doesn't
357 // not in the iframe document. At this point, subarea doesn't
353 // contain any user content.
358 // contain any user content.
354 this.contentDocument.write(subarea.html());
359 this.contentDocument.write(subarea.html());
355
360
356 this.contentDocument.close();
361 this.contentDocument.close();
357
362
358 var body = this.contentDocument.body;
363 var body = this.contentDocument.body;
359 // Adjust the iframe height automatically
364 // Adjust the iframe height automatically
360 iframe.height(body.scrollHeight + 'px');
365 iframe.height(body.scrollHeight + 'px');
361 });
366 });
362
367
363 // Elements should be appended to the inner subarea and not to the
368 // Elements should be appended to the inner subarea and not to the
364 // iframe
369 // iframe
365 iframe.append = function(that) {
370 iframe.append = function(that) {
366 subarea.append(that);
371 subarea.append(that);
367 };
372 };
368
373
369 return iframe;
374 return iframe;
370 } else {
375 } else {
371 return subarea;
376 return subarea;
372 }
377 }
373 }
378 }
374
379
375
380
376 OutputArea.prototype._append_javascript_error = function (err, element) {
381 OutputArea.prototype._append_javascript_error = function (err, element) {
377 // display a message when a javascript error occurs in display output
382 // display a message when a javascript error occurs in display output
378 var msg = "Javascript error adding output!"
383 var msg = "Javascript error adding output!"
379 if ( element === undefined ) return;
384 if ( element === undefined ) return;
380 element
385 element
381 .append($('<div/>').text(msg).addClass('js-error'))
386 .append($('<div/>').text(msg).addClass('js-error'))
382 .append($('<div/>').text(err.toString()).addClass('js-error'))
387 .append($('<div/>').text(err.toString()).addClass('js-error'))
383 .append($('<div/>').text('See your browser Javascript console for more details.').addClass('js-error'));
388 .append($('<div/>').text('See your browser Javascript console for more details.').addClass('js-error'));
384 };
389 };
385
390
386 OutputArea.prototype._safe_append = function (toinsert) {
391 OutputArea.prototype._safe_append = function (toinsert) {
387 // safely append an item to the document
392 // safely append an item to the document
388 // this is an object created by user code,
393 // this is an object created by user code,
389 // and may have errors, which should not be raised
394 // and may have errors, which should not be raised
390 // under any circumstances.
395 // under any circumstances.
391 try {
396 try {
392 this.element.append(toinsert);
397 this.element.append(toinsert);
393 } catch(err) {
398 } catch(err) {
394 console.log(err);
399 console.log(err);
395 // Create an actual output_area and output_subarea, which creates
400 // Create an actual output_area and output_subarea, which creates
396 // the prompt area and the proper indentation.
401 // the prompt area and the proper indentation.
397 var toinsert = this.create_output_area();
402 var toinsert = this.create_output_area();
398 var subarea = $('<div/>').addClass('output_subarea');
403 var subarea = $('<div/>').addClass('output_subarea');
399 toinsert.append(subarea);
404 toinsert.append(subarea);
400 this._append_javascript_error(err, subarea);
405 this._append_javascript_error(err, subarea);
401 this.element.append(toinsert);
406 this.element.append(toinsert);
402 }
407 }
403 };
408 };
404
409
405
410
406 OutputArea.prototype.append_execute_result = function (json) {
411 OutputArea.prototype.append_execute_result = function (json) {
407 var n = json.prompt_number || ' ';
412 var n = json.prompt_number || ' ';
408 var toinsert = this.create_output_area();
413 var toinsert = this.create_output_area();
409 if (this.prompt_area) {
414 if (this.prompt_area) {
410 toinsert.find('div.prompt').addClass('output_prompt').text('Out[' + n + ']:');
415 toinsert.find('div.prompt').addClass('output_prompt').text('Out[' + n + ']:');
411 }
416 }
412 var inserted = this.append_mime_type(json, toinsert);
417 var inserted = this.append_mime_type(json, toinsert);
413 if (inserted) {
418 if (inserted) {
414 inserted.addClass('output_result');
419 inserted.addClass('output_result');
415 }
420 }
416 this._safe_append(toinsert);
421 this._safe_append(toinsert);
417 // If we just output latex, typeset it.
422 // If we just output latex, typeset it.
418 if ((json['text/latex'] !== undefined) ||
423 if ((json['text/latex'] !== undefined) ||
419 (json['text/html'] !== undefined) ||
424 (json['text/html'] !== undefined) ||
420 (json['text/markdown'] !== undefined)) {
425 (json['text/markdown'] !== undefined)) {
421 this.typeset();
426 this.typeset();
422 }
427 }
423 };
428 };
424
429
425
430
426 OutputArea.prototype.append_error = function (json) {
431 OutputArea.prototype.append_error = function (json) {
427 var tb = json.traceback;
432 var tb = json.traceback;
428 if (tb !== undefined && tb.length > 0) {
433 if (tb !== undefined && tb.length > 0) {
429 var s = '';
434 var s = '';
430 var len = tb.length;
435 var len = tb.length;
431 for (var i=0; i<len; i++) {
436 for (var i=0; i<len; i++) {
432 s = s + tb[i] + '\n';
437 s = s + tb[i] + '\n';
433 }
438 }
434 s = s + '\n';
439 s = s + '\n';
435 var toinsert = this.create_output_area();
440 var toinsert = this.create_output_area();
436 var append_text = OutputArea.append_map['text/plain'];
441 var append_text = OutputArea.append_map['text/plain'];
437 if (append_text) {
442 if (append_text) {
438 append_text.apply(this, [s, {}, toinsert]).addClass('output_error');
443 append_text.apply(this, [s, {}, toinsert]).addClass('output_error');
439 }
444 }
440 this._safe_append(toinsert);
445 this._safe_append(toinsert);
441 }
446 }
442 };
447 };
443
448
444
449
445 OutputArea.prototype.append_stream = function (json) {
450 OutputArea.prototype.append_stream = function (json) {
446 // temporary fix: if stream undefined (json file written prior to this patch),
451 // temporary fix: if stream undefined (json file written prior to this patch),
447 // default to most likely stdout:
452 // default to most likely stdout:
448 if (json.stream === undefined){
453 if (json.stream === undefined){
449 json.stream = 'stdout';
454 json.stream = 'stdout';
450 }
455 }
451 var text = json.text;
456 var text = json.text;
452 var subclass = "output_"+json.stream;
457 var subclass = "output_"+json.stream;
453 if (this.outputs.length > 0){
458 if (this.outputs.length > 0){
454 // have at least one output to consider
459 // have at least one output to consider
455 var last = this.outputs[this.outputs.length-1];
460 var last = this.outputs[this.outputs.length-1];
456 if (last.output_type == 'stream' && json.stream == last.stream){
461 if (last.output_type == 'stream' && json.stream == last.stream){
457 // latest output was in the same stream,
462 // latest output was in the same stream,
458 // so append directly into its pre tag
463 // so append directly into its pre tag
459 // escape ANSI & HTML specials:
464 // escape ANSI & HTML specials:
465 last.text = utils.fixCarriageReturn(last.text + json.text);
460 var pre = this.element.find('div.'+subclass).last().find('pre');
466 var pre = this.element.find('div.'+subclass).last().find('pre');
461 var html = utils.fixCarriageReturn(
467 var html = utils.fixConsole(last.text);
462 pre.html() + utils.fixConsole(text));
463 // The only user content injected with this HTML call is
468 // The only user content injected with this HTML call is
464 // escaped by the fixConsole() method.
469 // escaped by the fixConsole() method.
465 pre.html(html);
470 pre.html(html);
466 return;
471 // return false signals that we merged this output with the previous one,
472 // and the new output shouldn't be recorded.
473 return false;
467 }
474 }
468 }
475 }
469
476
470 if (!text.replace("\r", "")) {
477 if (!text.replace("\r", "")) {
471 // text is nothing (empty string, \r, etc.)
478 // text is nothing (empty string, \r, etc.)
472 // so don't append any elements, which might add undesirable space
479 // so don't append any elements, which might add undesirable space
473 return;
480 // return true to indicate the output should be recorded.
481 return true;
474 }
482 }
475
483
476 // If we got here, attach a new div
484 // If we got here, attach a new div
477 var toinsert = this.create_output_area();
485 var toinsert = this.create_output_area();
478 var append_text = OutputArea.append_map['text/plain'];
486 var append_text = OutputArea.append_map['text/plain'];
479 if (append_text) {
487 if (append_text) {
480 append_text.apply(this, [text, {}, toinsert]).addClass("output_stream " + subclass);
488 append_text.apply(this, [text, {}, toinsert]).addClass("output_stream " + subclass);
481 }
489 }
482 this._safe_append(toinsert);
490 this._safe_append(toinsert);
491 return true;
483 };
492 };
484
493
485
494
486 OutputArea.prototype.append_display_data = function (json, handle_inserted) {
495 OutputArea.prototype.append_display_data = function (json, handle_inserted) {
487 var toinsert = this.create_output_area();
496 var toinsert = this.create_output_area();
488 if (this.append_mime_type(json, toinsert, handle_inserted)) {
497 if (this.append_mime_type(json, toinsert, handle_inserted)) {
489 this._safe_append(toinsert);
498 this._safe_append(toinsert);
490 // If we just output latex, typeset it.
499 // If we just output latex, typeset it.
491 if ((json['text/latex'] !== undefined) ||
500 if ((json['text/latex'] !== undefined) ||
492 (json['text/html'] !== undefined) ||
501 (json['text/html'] !== undefined) ||
493 (json['text/markdown'] !== undefined)) {
502 (json['text/markdown'] !== undefined)) {
494 this.typeset();
503 this.typeset();
495 }
504 }
496 }
505 }
497 };
506 };
498
507
499
508
500 OutputArea.safe_outputs = {
509 OutputArea.safe_outputs = {
501 'text/plain' : true,
510 'text/plain' : true,
502 'text/latex' : true,
511 'text/latex' : true,
503 'image/png' : true,
512 'image/png' : true,
504 'image/jpeg' : true
513 'image/jpeg' : true
505 };
514 };
506
515
507 OutputArea.prototype.append_mime_type = function (json, element, handle_inserted) {
516 OutputArea.prototype.append_mime_type = function (json, element, handle_inserted) {
508 for (var i=0; i < OutputArea.display_order.length; i++) {
517 for (var i=0; i < OutputArea.display_order.length; i++) {
509 var type = OutputArea.display_order[i];
518 var type = OutputArea.display_order[i];
510 var append = OutputArea.append_map[type];
519 var append = OutputArea.append_map[type];
511 if ((json[type] !== undefined) && append) {
520 if ((json[type] !== undefined) && append) {
512 var value = json[type];
521 var value = json[type];
513 if (!this.trusted && !OutputArea.safe_outputs[type]) {
522 if (!this.trusted && !OutputArea.safe_outputs[type]) {
514 // not trusted, sanitize HTML
523 // not trusted, sanitize HTML
515 if (type==='text/html' || type==='text/svg') {
524 if (type==='text/html' || type==='text/svg') {
516 value = security.sanitize_html(value);
525 value = security.sanitize_html(value);
517 } else {
526 } else {
518 // don't display if we don't know how to sanitize it
527 // don't display if we don't know how to sanitize it
519 console.log("Ignoring untrusted " + type + " output.");
528 console.log("Ignoring untrusted " + type + " output.");
520 continue;
529 continue;
521 }
530 }
522 }
531 }
523 var md = json.metadata || {};
532 var md = json.metadata || {};
524 var toinsert = append.apply(this, [value, md, element, handle_inserted]);
533 var toinsert = append.apply(this, [value, md, element, handle_inserted]);
525 // Since only the png and jpeg mime types call the inserted
534 // Since only the png and jpeg mime types call the inserted
526 // callback, if the mime type is something other we must call the
535 // callback, if the mime type is something other we must call the
527 // inserted callback only when the element is actually inserted
536 // inserted callback only when the element is actually inserted
528 // into the DOM. Use a timeout of 0 to do this.
537 // into the DOM. Use a timeout of 0 to do this.
529 if (['image/png', 'image/jpeg'].indexOf(type) < 0 && handle_inserted !== undefined) {
538 if (['image/png', 'image/jpeg'].indexOf(type) < 0 && handle_inserted !== undefined) {
530 setTimeout(handle_inserted, 0);
539 setTimeout(handle_inserted, 0);
531 }
540 }
532 this.events.trigger('output_appended.OutputArea', [type, value, md, toinsert]);
541 this.events.trigger('output_appended.OutputArea', [type, value, md, toinsert]);
533 return toinsert;
542 return toinsert;
534 }
543 }
535 }
544 }
536 return null;
545 return null;
537 };
546 };
538
547
539
548
540 var append_html = function (html, md, element) {
549 var append_html = function (html, md, element) {
541 var type = 'text/html';
550 var type = 'text/html';
542 var toinsert = this.create_output_subarea(md, "output_html rendered_html", type);
551 var toinsert = this.create_output_subarea(md, "output_html rendered_html", type);
543 this.keyboard_manager.register_events(toinsert);
552 this.keyboard_manager.register_events(toinsert);
544 toinsert.append(html);
553 toinsert.append(html);
545 element.append(toinsert);
554 element.append(toinsert);
546 return toinsert;
555 return toinsert;
547 };
556 };
548
557
549
558
550 var append_markdown = function(markdown, md, element) {
559 var append_markdown = function(markdown, md, element) {
551 var type = 'text/markdown';
560 var type = 'text/markdown';
552 var toinsert = this.create_output_subarea(md, "output_markdown", type);
561 var toinsert = this.create_output_subarea(md, "output_markdown", type);
553 var text_and_math = mathjaxutils.remove_math(markdown);
562 var text_and_math = mathjaxutils.remove_math(markdown);
554 var text = text_and_math[0];
563 var text = text_and_math[0];
555 var math = text_and_math[1];
564 var math = text_and_math[1];
556 var html = marked.parser(marked.lexer(text));
565 var html = marked.parser(marked.lexer(text));
557 html = mathjaxutils.replace_math(html, math);
566 html = mathjaxutils.replace_math(html, math);
558 toinsert.append(html);
567 toinsert.append(html);
559 element.append(toinsert);
568 element.append(toinsert);
560 return toinsert;
569 return toinsert;
561 };
570 };
562
571
563
572
564 var append_javascript = function (js, md, element) {
573 var append_javascript = function (js, md, element) {
565 // We just eval the JS code, element appears in the local scope.
574 // We just eval the JS code, element appears in the local scope.
566 var type = 'application/javascript';
575 var type = 'application/javascript';
567 var toinsert = this.create_output_subarea(md, "output_javascript", type);
576 var toinsert = this.create_output_subarea(md, "output_javascript", type);
568 this.keyboard_manager.register_events(toinsert);
577 this.keyboard_manager.register_events(toinsert);
569 element.append(toinsert);
578 element.append(toinsert);
570
579
571 // Fix for ipython/issues/5293, make sure `element` is the area which
580 // Fix for ipython/issues/5293, make sure `element` is the area which
572 // output can be inserted into at the time of JS execution.
581 // output can be inserted into at the time of JS execution.
573 element = toinsert;
582 element = toinsert;
574 try {
583 try {
575 eval(js);
584 eval(js);
576 } catch(err) {
585 } catch(err) {
577 console.log(err);
586 console.log(err);
578 this._append_javascript_error(err, toinsert);
587 this._append_javascript_error(err, toinsert);
579 }
588 }
580 return toinsert;
589 return toinsert;
581 };
590 };
582
591
583
592
584 var append_text = function (data, md, element) {
593 var append_text = function (data, md, element) {
585 var type = 'text/plain';
594 var type = 'text/plain';
586 var toinsert = this.create_output_subarea(md, "output_text", type);
595 var toinsert = this.create_output_subarea(md, "output_text", type);
587 // escape ANSI & HTML specials in plaintext:
596 // escape ANSI & HTML specials in plaintext:
588 data = utils.fixConsole(data);
597 data = utils.fixConsole(data);
589 data = utils.fixCarriageReturn(data);
598 data = utils.fixCarriageReturn(data);
590 data = utils.autoLinkUrls(data);
599 data = utils.autoLinkUrls(data);
591 // The only user content injected with this HTML call is
600 // The only user content injected with this HTML call is
592 // escaped by the fixConsole() method.
601 // escaped by the fixConsole() method.
593 toinsert.append($("<pre/>").html(data));
602 toinsert.append($("<pre/>").html(data));
594 element.append(toinsert);
603 element.append(toinsert);
595 return toinsert;
604 return toinsert;
596 };
605 };
597
606
598
607
599 var append_svg = function (svg_html, md, element) {
608 var append_svg = function (svg_html, md, element) {
600 var type = 'image/svg+xml';
609 var type = 'image/svg+xml';
601 var toinsert = this.create_output_subarea(md, "output_svg", type);
610 var toinsert = this.create_output_subarea(md, "output_svg", type);
602
611
603 // Get the svg element from within the HTML.
612 // Get the svg element from within the HTML.
604 var svg = $('<div />').html(svg_html).find('svg');
613 var svg = $('<div />').html(svg_html).find('svg');
605 var svg_area = $('<div />');
614 var svg_area = $('<div />');
606 var width = svg.attr('width');
615 var width = svg.attr('width');
607 var height = svg.attr('height');
616 var height = svg.attr('height');
608 svg
617 svg
609 .width('100%')
618 .width('100%')
610 .height('100%');
619 .height('100%');
611 svg_area
620 svg_area
612 .width(width)
621 .width(width)
613 .height(height);
622 .height(height);
614
623
615 // The jQuery resize handlers don't seem to work on the svg element.
624 // The jQuery resize handlers don't seem to work on the svg element.
616 // When the svg renders completely, measure it's size and set the parent
625 // When the svg renders completely, measure it's size and set the parent
617 // div to that size. Then set the svg to 100% the size of the parent
626 // div to that size. Then set the svg to 100% the size of the parent
618 // div and make the parent div resizable.
627 // div and make the parent div resizable.
619 this._dblclick_to_reset_size(svg_area, true, false);
628 this._dblclick_to_reset_size(svg_area, true, false);
620
629
621 svg_area.append(svg);
630 svg_area.append(svg);
622 toinsert.append(svg_area);
631 toinsert.append(svg_area);
623 element.append(toinsert);
632 element.append(toinsert);
624
633
625 return toinsert;
634 return toinsert;
626 };
635 };
627
636
628 OutputArea.prototype._dblclick_to_reset_size = function (img, immediately, resize_parent) {
637 OutputArea.prototype._dblclick_to_reset_size = function (img, immediately, resize_parent) {
629 // Add a resize handler to an element
638 // Add a resize handler to an element
630 //
639 //
631 // img: jQuery element
640 // img: jQuery element
632 // immediately: bool=False
641 // immediately: bool=False
633 // Wait for the element to load before creating the handle.
642 // Wait for the element to load before creating the handle.
634 // resize_parent: bool=True
643 // resize_parent: bool=True
635 // Should the parent of the element be resized when the element is
644 // Should the parent of the element be resized when the element is
636 // reset (by double click).
645 // reset (by double click).
637 var callback = function (){
646 var callback = function (){
638 var h0 = img.height();
647 var h0 = img.height();
639 var w0 = img.width();
648 var w0 = img.width();
640 if (!(h0 && w0)) {
649 if (!(h0 && w0)) {
641 // zero size, don't make it resizable
650 // zero size, don't make it resizable
642 return;
651 return;
643 }
652 }
644 img.resizable({
653 img.resizable({
645 aspectRatio: true,
654 aspectRatio: true,
646 autoHide: true
655 autoHide: true
647 });
656 });
648 img.dblclick(function () {
657 img.dblclick(function () {
649 // resize wrapper & image together for some reason:
658 // resize wrapper & image together for some reason:
650 img.height(h0);
659 img.height(h0);
651 img.width(w0);
660 img.width(w0);
652 if (resize_parent === undefined || resize_parent) {
661 if (resize_parent === undefined || resize_parent) {
653 img.parent().height(h0);
662 img.parent().height(h0);
654 img.parent().width(w0);
663 img.parent().width(w0);
655 }
664 }
656 });
665 });
657 };
666 };
658
667
659 if (immediately) {
668 if (immediately) {
660 callback();
669 callback();
661 } else {
670 } else {
662 img.on("load", callback);
671 img.on("load", callback);
663 }
672 }
664 };
673 };
665
674
666 var set_width_height = function (img, md, mime) {
675 var set_width_height = function (img, md, mime) {
667 // set width and height of an img element from metadata
676 // set width and height of an img element from metadata
668 var height = _get_metadata_key(md, 'height', mime);
677 var height = _get_metadata_key(md, 'height', mime);
669 if (height !== undefined) img.attr('height', height);
678 if (height !== undefined) img.attr('height', height);
670 var width = _get_metadata_key(md, 'width', mime);
679 var width = _get_metadata_key(md, 'width', mime);
671 if (width !== undefined) img.attr('width', width);
680 if (width !== undefined) img.attr('width', width);
672 };
681 };
673
682
674 var append_png = function (png, md, element, handle_inserted) {
683 var append_png = function (png, md, element, handle_inserted) {
675 var type = 'image/png';
684 var type = 'image/png';
676 var toinsert = this.create_output_subarea(md, "output_png", type);
685 var toinsert = this.create_output_subarea(md, "output_png", type);
677 var img = $("<img/>");
686 var img = $("<img/>");
678 if (handle_inserted !== undefined) {
687 if (handle_inserted !== undefined) {
679 img.on('load', function(){
688 img.on('load', function(){
680 handle_inserted(img);
689 handle_inserted(img);
681 });
690 });
682 }
691 }
683 img[0].src = 'data:image/png;base64,'+ png;
692 img[0].src = 'data:image/png;base64,'+ png;
684 set_width_height(img, md, 'image/png');
693 set_width_height(img, md, 'image/png');
685 this._dblclick_to_reset_size(img);
694 this._dblclick_to_reset_size(img);
686 toinsert.append(img);
695 toinsert.append(img);
687 element.append(toinsert);
696 element.append(toinsert);
688 return toinsert;
697 return toinsert;
689 };
698 };
690
699
691
700
692 var append_jpeg = function (jpeg, md, element, handle_inserted) {
701 var append_jpeg = function (jpeg, md, element, handle_inserted) {
693 var type = 'image/jpeg';
702 var type = 'image/jpeg';
694 var toinsert = this.create_output_subarea(md, "output_jpeg", type);
703 var toinsert = this.create_output_subarea(md, "output_jpeg", type);
695 var img = $("<img/>");
704 var img = $("<img/>");
696 if (handle_inserted !== undefined) {
705 if (handle_inserted !== undefined) {
697 img.on('load', function(){
706 img.on('load', function(){
698 handle_inserted(img);
707 handle_inserted(img);
699 });
708 });
700 }
709 }
701 img[0].src = 'data:image/jpeg;base64,'+ jpeg;
710 img[0].src = 'data:image/jpeg;base64,'+ jpeg;
702 set_width_height(img, md, 'image/jpeg');
711 set_width_height(img, md, 'image/jpeg');
703 this._dblclick_to_reset_size(img);
712 this._dblclick_to_reset_size(img);
704 toinsert.append(img);
713 toinsert.append(img);
705 element.append(toinsert);
714 element.append(toinsert);
706 return toinsert;
715 return toinsert;
707 };
716 };
708
717
709
718
710 var append_pdf = function (pdf, md, element) {
719 var append_pdf = function (pdf, md, element) {
711 var type = 'application/pdf';
720 var type = 'application/pdf';
712 var toinsert = this.create_output_subarea(md, "output_pdf", type);
721 var toinsert = this.create_output_subarea(md, "output_pdf", type);
713 var a = $('<a/>').attr('href', 'data:application/pdf;base64,'+pdf);
722 var a = $('<a/>').attr('href', 'data:application/pdf;base64,'+pdf);
714 a.attr('target', '_blank');
723 a.attr('target', '_blank');
715 a.text('View PDF')
724 a.text('View PDF')
716 toinsert.append(a);
725 toinsert.append(a);
717 element.append(toinsert);
726 element.append(toinsert);
718 return toinsert;
727 return toinsert;
719 }
728 }
720
729
721 var append_latex = function (latex, md, element) {
730 var append_latex = function (latex, md, element) {
722 // This method cannot do the typesetting because the latex first has to
731 // This method cannot do the typesetting because the latex first has to
723 // be on the page.
732 // be on the page.
724 var type = 'text/latex';
733 var type = 'text/latex';
725 var toinsert = this.create_output_subarea(md, "output_latex", type);
734 var toinsert = this.create_output_subarea(md, "output_latex", type);
726 toinsert.append(latex);
735 toinsert.append(latex);
727 element.append(toinsert);
736 element.append(toinsert);
728 return toinsert;
737 return toinsert;
729 };
738 };
730
739
731
740
732 OutputArea.prototype.append_raw_input = function (msg) {
741 OutputArea.prototype.append_raw_input = function (msg) {
733 var that = this;
742 var that = this;
734 this.expand();
743 this.expand();
735 var content = msg.content;
744 var content = msg.content;
736 var area = this.create_output_area();
745 var area = this.create_output_area();
737
746
738 // disable any other raw_inputs, if they are left around
747 // disable any other raw_inputs, if they are left around
739 $("div.output_subarea.raw_input_container").remove();
748 $("div.output_subarea.raw_input_container").remove();
740
749
741 var input_type = content.password ? 'password' : 'text';
750 var input_type = content.password ? 'password' : 'text';
742
751
743 area.append(
752 area.append(
744 $("<div/>")
753 $("<div/>")
745 .addClass("box-flex1 output_subarea raw_input_container")
754 .addClass("box-flex1 output_subarea raw_input_container")
746 .append(
755 .append(
747 $("<span/>")
756 $("<span/>")
748 .addClass("raw_input_prompt")
757 .addClass("raw_input_prompt")
749 .text(content.prompt)
758 .text(content.prompt)
750 )
759 )
751 .append(
760 .append(
752 $("<input/>")
761 $("<input/>")
753 .addClass("raw_input")
762 .addClass("raw_input")
754 .attr('type', input_type)
763 .attr('type', input_type)
755 .attr("size", 47)
764 .attr("size", 47)
756 .keydown(function (event, ui) {
765 .keydown(function (event, ui) {
757 // make sure we submit on enter,
766 // make sure we submit on enter,
758 // and don't re-execute the *cell* on shift-enter
767 // and don't re-execute the *cell* on shift-enter
759 if (event.which === keyboard.keycodes.enter) {
768 if (event.which === keyboard.keycodes.enter) {
760 that._submit_raw_input();
769 that._submit_raw_input();
761 return false;
770 return false;
762 }
771 }
763 })
772 })
764 )
773 )
765 );
774 );
766
775
767 this.element.append(area);
776 this.element.append(area);
768 var raw_input = area.find('input.raw_input');
777 var raw_input = area.find('input.raw_input');
769 // Register events that enable/disable the keyboard manager while raw
778 // Register events that enable/disable the keyboard manager while raw
770 // input is focused.
779 // input is focused.
771 this.keyboard_manager.register_events(raw_input);
780 this.keyboard_manager.register_events(raw_input);
772 // Note, the following line used to read raw_input.focus().focus().
781 // Note, the following line used to read raw_input.focus().focus().
773 // This seemed to be needed otherwise only the cell would be focused.
782 // This seemed to be needed otherwise only the cell would be focused.
774 // But with the modal UI, this seems to work fine with one call to focus().
783 // But with the modal UI, this seems to work fine with one call to focus().
775 raw_input.focus();
784 raw_input.focus();
776 }
785 }
777
786
778 OutputArea.prototype._submit_raw_input = function (evt) {
787 OutputArea.prototype._submit_raw_input = function (evt) {
779 var container = this.element.find("div.raw_input_container");
788 var container = this.element.find("div.raw_input_container");
780 var theprompt = container.find("span.raw_input_prompt");
789 var theprompt = container.find("span.raw_input_prompt");
781 var theinput = container.find("input.raw_input");
790 var theinput = container.find("input.raw_input");
782 var value = theinput.val();
791 var value = theinput.val();
783 var echo = value;
792 var echo = value;
784 // don't echo if it's a password
793 // don't echo if it's a password
785 if (theinput.attr('type') == 'password') {
794 if (theinput.attr('type') == 'password') {
786 echo = 'Β·Β·Β·Β·Β·Β·Β·Β·';
795 echo = 'Β·Β·Β·Β·Β·Β·Β·Β·';
787 }
796 }
788 var content = {
797 var content = {
789 output_type : 'stream',
798 output_type : 'stream',
790 stream : 'stdout',
799 stream : 'stdout',
791 text : theprompt.text() + echo + '\n'
800 text : theprompt.text() + echo + '\n'
792 }
801 }
793 // remove form container
802 // remove form container
794 container.parent().remove();
803 container.parent().remove();
795 // replace with plaintext version in stdout
804 // replace with plaintext version in stdout
796 this.append_output(content, false);
805 this.append_output(content, false);
797 this.events.trigger('send_input_reply.Kernel', value);
806 this.events.trigger('send_input_reply.Kernel', value);
798 }
807 }
799
808
800
809
801 OutputArea.prototype.handle_clear_output = function (msg) {
810 OutputArea.prototype.handle_clear_output = function (msg) {
802 // msg spec v4 had stdout, stderr, display keys
811 // msg spec v4 had stdout, stderr, display keys
803 // v4.1 replaced these with just wait
812 // v4.1 replaced these with just wait
804 // The default behavior is the same (stdout=stderr=display=True, wait=False),
813 // The default behavior is the same (stdout=stderr=display=True, wait=False),
805 // so v4 messages will still be properly handled,
814 // so v4 messages will still be properly handled,
806 // except for the rarely used clearing less than all output.
815 // except for the rarely used clearing less than all output.
807 this.clear_output(msg.content.wait || false);
816 this.clear_output(msg.content.wait || false);
808 };
817 };
809
818
810
819
811 OutputArea.prototype.clear_output = function(wait) {
820 OutputArea.prototype.clear_output = function(wait) {
812 if (wait) {
821 if (wait) {
813
822
814 // If a clear is queued, clear before adding another to the queue.
823 // If a clear is queued, clear before adding another to the queue.
815 if (this.clear_queued) {
824 if (this.clear_queued) {
816 this.clear_output(false);
825 this.clear_output(false);
817 };
826 };
818
827
819 this.clear_queued = true;
828 this.clear_queued = true;
820 } else {
829 } else {
821
830
822 // Fix the output div's height if the clear_output is waiting for
831 // Fix the output div's height if the clear_output is waiting for
823 // new output (it is being used in an animation).
832 // new output (it is being used in an animation).
824 if (this.clear_queued) {
833 if (this.clear_queued) {
825 var height = this.element.height();
834 var height = this.element.height();
826 this.element.height(height);
835 this.element.height(height);
827 this.clear_queued = false;
836 this.clear_queued = false;
828 }
837 }
829
838
830 // Clear all
839 // Clear all
831 // Remove load event handlers from img tags because we don't want
840 // Remove load event handlers from img tags because we don't want
832 // them to fire if the image is never added to the page.
841 // them to fire if the image is never added to the page.
833 this.element.find('img').off('load');
842 this.element.find('img').off('load');
834 this.element.html("");
843 this.element.html("");
835 this.outputs = [];
844 this.outputs = [];
836 this.trusted = true;
845 this.trusted = true;
837 this.unscroll_area();
846 this.unscroll_area();
838 return;
847 return;
839 };
848 };
840 };
849 };
841
850
842
851
843 // JSON serialization
852 // JSON serialization
844
853
845 OutputArea.prototype.fromJSON = function (outputs) {
854 OutputArea.prototype.fromJSON = function (outputs) {
846 var len = outputs.length;
855 var len = outputs.length;
847 var data;
856 var data;
848
857
849 for (var i=0; i<len; i++) {
858 for (var i=0; i<len; i++) {
850 data = outputs[i];
859 data = outputs[i];
851 var msg_type = data.output_type;
860 var msg_type = data.output_type;
852 if (msg_type == "pyout") {
861 if (msg_type == "pyout") {
853 // pyout message has been renamed to execute_result,
862 // pyout message has been renamed to execute_result,
854 // but the nbformat has not been updated,
863 // but the nbformat has not been updated,
855 // so transform back to pyout for json.
864 // so transform back to pyout for json.
856 msg_type = data.output_type = "execute_result";
865 msg_type = data.output_type = "execute_result";
857 } else if (msg_type == "pyerr") {
866 } else if (msg_type == "pyerr") {
858 // pyerr message has been renamed to error,
867 // pyerr message has been renamed to error,
859 // but the nbformat has not been updated,
868 // but the nbformat has not been updated,
860 // so transform back to pyerr for json.
869 // so transform back to pyerr for json.
861 msg_type = data.output_type = "error";
870 msg_type = data.output_type = "error";
862 }
871 }
863 if (msg_type === "display_data" || msg_type === "execute_result") {
872 if (msg_type === "display_data" || msg_type === "execute_result") {
864 // convert short keys to mime keys
873 // convert short keys to mime keys
865 // TODO: remove mapping of short keys when we update to nbformat 4
874 // TODO: remove mapping of short keys when we update to nbformat 4
866 data = this.rename_keys(data, OutputArea.mime_map_r);
875 data = this.rename_keys(data, OutputArea.mime_map_r);
867 data.metadata = this.rename_keys(data.metadata, OutputArea.mime_map_r);
876 data.metadata = this.rename_keys(data.metadata, OutputArea.mime_map_r);
868 // msg spec JSON is an object, nbformat v3 JSON is a JSON string
877 // msg spec JSON is an object, nbformat v3 JSON is a JSON string
869 if (data["application/json"] !== undefined && typeof data["application/json"] === 'string') {
878 if (data["application/json"] !== undefined && typeof data["application/json"] === 'string') {
870 data["application/json"] = JSON.parse(data["application/json"]);
879 data["application/json"] = JSON.parse(data["application/json"]);
871 }
880 }
872 }
881 }
873
882
874 this.append_output(data);
883 this.append_output(data);
875 }
884 }
876 };
885 };
877
886
878
887
879 OutputArea.prototype.toJSON = function () {
888 OutputArea.prototype.toJSON = function () {
880 var outputs = [];
889 var outputs = [];
881 var len = this.outputs.length;
890 var len = this.outputs.length;
882 var data;
891 var data;
883 for (var i=0; i<len; i++) {
892 for (var i=0; i<len; i++) {
884 data = this.outputs[i];
893 data = this.outputs[i];
885 var msg_type = data.output_type;
894 var msg_type = data.output_type;
886 if (msg_type === "display_data" || msg_type === "execute_result") {
895 if (msg_type === "display_data" || msg_type === "execute_result") {
887 // convert mime keys to short keys
896 // convert mime keys to short keys
888 data = this.rename_keys(data, OutputArea.mime_map);
897 data = this.rename_keys(data, OutputArea.mime_map);
889 data.metadata = this.rename_keys(data.metadata, OutputArea.mime_map);
898 data.metadata = this.rename_keys(data.metadata, OutputArea.mime_map);
890 // msg spec JSON is an object, nbformat v3 JSON is a JSON string
899 // msg spec JSON is an object, nbformat v3 JSON is a JSON string
891 if (data.json !== undefined && typeof data.json !== 'string') {
900 if (data.json !== undefined && typeof data.json !== 'string') {
892 data.json = JSON.stringify(data.json);
901 data.json = JSON.stringify(data.json);
893 }
902 }
894 }
903 }
895 if (msg_type == "execute_result") {
904 if (msg_type == "execute_result") {
896 // pyout message has been renamed to execute_result,
905 // pyout message has been renamed to execute_result,
897 // but the nbformat has not been updated,
906 // but the nbformat has not been updated,
898 // so transform back to pyout for json.
907 // so transform back to pyout for json.
899 data.output_type = "pyout";
908 data.output_type = "pyout";
900 } else if (msg_type == "error") {
909 } else if (msg_type == "error") {
901 // pyerr message has been renamed to error,
910 // pyerr message has been renamed to error,
902 // but the nbformat has not been updated,
911 // but the nbformat has not been updated,
903 // so transform back to pyerr for json.
912 // so transform back to pyerr for json.
904 data.output_type = "pyerr";
913 data.output_type = "pyerr";
905 }
914 }
906 outputs[i] = data;
915 outputs[i] = data;
907 }
916 }
908 return outputs;
917 return outputs;
909 };
918 };
910
919
911 /**
920 /**
912 * Class properties
921 * Class properties
913 **/
922 **/
914
923
915 /**
924 /**
916 * Threshold to trigger autoscroll when the OutputArea is resized,
925 * Threshold to trigger autoscroll when the OutputArea is resized,
917 * typically when new outputs are added.
926 * typically when new outputs are added.
918 *
927 *
919 * Behavior is undefined if autoscroll is lower than minimum_scroll_threshold,
928 * Behavior is undefined if autoscroll is lower than minimum_scroll_threshold,
920 * unless it is < 0, in which case autoscroll will never be triggered
929 * unless it is < 0, in which case autoscroll will never be triggered
921 *
930 *
922 * @property auto_scroll_threshold
931 * @property auto_scroll_threshold
923 * @type Number
932 * @type Number
924 * @default 100
933 * @default 100
925 *
934 *
926 **/
935 **/
927 OutputArea.auto_scroll_threshold = 100;
936 OutputArea.auto_scroll_threshold = 100;
928
937
929 /**
938 /**
930 * Lower limit (in lines) for OutputArea to be made scrollable. OutputAreas
939 * Lower limit (in lines) for OutputArea to be made scrollable. OutputAreas
931 * shorter than this are never scrolled.
940 * shorter than this are never scrolled.
932 *
941 *
933 * @property minimum_scroll_threshold
942 * @property minimum_scroll_threshold
934 * @type Number
943 * @type Number
935 * @default 20
944 * @default 20
936 *
945 *
937 **/
946 **/
938 OutputArea.minimum_scroll_threshold = 20;
947 OutputArea.minimum_scroll_threshold = 20;
939
948
940
949
941
950
942 OutputArea.mime_map = {
951 OutputArea.mime_map = {
943 "text/plain" : "text",
952 "text/plain" : "text",
944 "text/html" : "html",
953 "text/html" : "html",
945 "image/svg+xml" : "svg",
954 "image/svg+xml" : "svg",
946 "image/png" : "png",
955 "image/png" : "png",
947 "image/jpeg" : "jpeg",
956 "image/jpeg" : "jpeg",
948 "text/latex" : "latex",
957 "text/latex" : "latex",
949 "application/json" : "json",
958 "application/json" : "json",
950 "application/javascript" : "javascript",
959 "application/javascript" : "javascript",
951 };
960 };
952
961
953 OutputArea.mime_map_r = {
962 OutputArea.mime_map_r = {
954 "text" : "text/plain",
963 "text" : "text/plain",
955 "html" : "text/html",
964 "html" : "text/html",
956 "svg" : "image/svg+xml",
965 "svg" : "image/svg+xml",
957 "png" : "image/png",
966 "png" : "image/png",
958 "jpeg" : "image/jpeg",
967 "jpeg" : "image/jpeg",
959 "latex" : "text/latex",
968 "latex" : "text/latex",
960 "json" : "application/json",
969 "json" : "application/json",
961 "javascript" : "application/javascript",
970 "javascript" : "application/javascript",
962 };
971 };
963
972
964 OutputArea.display_order = [
973 OutputArea.display_order = [
965 'application/javascript',
974 'application/javascript',
966 'text/html',
975 'text/html',
967 'text/markdown',
976 'text/markdown',
968 'text/latex',
977 'text/latex',
969 'image/svg+xml',
978 'image/svg+xml',
970 'image/png',
979 'image/png',
971 'image/jpeg',
980 'image/jpeg',
972 'application/pdf',
981 'application/pdf',
973 'text/plain'
982 'text/plain'
974 ];
983 ];
975
984
976 OutputArea.append_map = {
985 OutputArea.append_map = {
977 "text/plain" : append_text,
986 "text/plain" : append_text,
978 "text/html" : append_html,
987 "text/html" : append_html,
979 "text/markdown": append_markdown,
988 "text/markdown": append_markdown,
980 "image/svg+xml" : append_svg,
989 "image/svg+xml" : append_svg,
981 "image/png" : append_png,
990 "image/png" : append_png,
982 "image/jpeg" : append_jpeg,
991 "image/jpeg" : append_jpeg,
983 "text/latex" : append_latex,
992 "text/latex" : append_latex,
984 "application/javascript" : append_javascript,
993 "application/javascript" : append_javascript,
985 "application/pdf" : append_pdf
994 "application/pdf" : append_pdf
986 };
995 };
987
996
988 // For backwards compatability.
997 // For backwards compatability.
989 IPython.OutputArea = OutputArea;
998 IPython.OutputArea = OutputArea;
990
999
991 return {'OutputArea': OutputArea};
1000 return {'OutputArea': OutputArea};
992 });
1001 });
General Comments 0
You need to be logged in to leave comments. Login now