Merge pull request #3494 from danagilliann/master

solved waiting asterisk
Thomas Kluyver 8 years ago committed by GitHub
commit 2fb47162d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -203,6 +203,12 @@ define([
this.element.focusout(
function() { that.auto_highlight(); }
);
this.events.on('kernel_restarting.Kernel', function() {
if (that.input_prompt_number === '*') {
that.set_input_prompt();
}
});
};

Loading…
Cancel
Save