##// END OF EJS Templates
Don't show kernel-dead on manually shutdown kernel...
Don't show kernel-dead on manually shutdown kernel When there is no kernel, show 'No kernel', and set kernel-busy instead of showing read dead and bomb. This is different from kernel-dead
Min RK -
r19965:7d6118eb
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / widgets / js
init.js Loading ...
manager.js Loading ...
widget.js Loading ...
widget_bool.js Loading ...
widget_box.js Loading ...
widget_button.js Loading ...
widget_float.js Loading ...
widget_image.js Loading ...
widget_int.js Loading ...
widget_link.js Loading ...
widget_output.js Loading ...
widget_selection.js Loading ...
widget_selectioncontainer.js Loading ...
widget_string.js Loading ...