Merge pull request #1807 from minrk/set-dirty-output

set dirty flag when output arrives
This commit is contained in:
Thomas Kluyver 2016-10-07 13:18:20 +01:00 committed by GitHub
commit f8f53ee805

View File

@ -349,9 +349,11 @@ define([
},
iopub : {
output : function() {
that.events.trigger('set_dirty.Notebook', {value: true});
that.output_area.handle_output.apply(that.output_area, arguments);
},
clear_output : function() {
that.events.trigger('set_dirty.Notebook', {value: true});
that.output_area.handle_clear_output.apply(that.output_area, arguments);
},
},
@ -476,6 +478,7 @@ define([
var prompt_html = CodeCell.input_prompt_function(this.input_prompt_number, nline);
// This HTML call is okay because the user contents are escaped.
this.element.find('div.input_prompt').html(prompt_html);
this.events.trigger('set_dirty.Notebook', {value: true});
};