##// END OF EJS Templates
Fixed glitch when widgetarea wouldn't get completely hidden upon re-execution
Jonathan Frederic -
Show More
@@ -304,9 +304,13 b' var IPython = (function (IPython) {'
304 */
304 */
305 CodeCell.prototype.execute = function () {
305 CodeCell.prototype.execute = function () {
306 this.output_area.clear_output();
306 this.output_area.clear_output();
307
308 // Clear widget area
307 this.widget_subarea.html('');
309 this.widget_subarea.html('');
308 this.widget_subarea.height('');
310 this.widget_subarea.height('');
309 this.widget_area.height('');
311 this.widget_area.height('');
312 this.widget_area.hide();
313
310 this.set_input_prompt('*');
314 this.set_input_prompt('*');
311 this.element.addClass("running");
315 this.element.addClass("running");
312 if (this.last_msg_id) {
316 if (this.last_msg_id) {
General Comments 0
You need to be logged in to leave comments. Login now