jupyter/jupyter-js-plugins

"Close All" should close terminals

blink1073 opened this issue 9 years ago · 1 comments

blink1073 commented 9 years ago

"Close All" should close terminals

blink1073 commented 9 years ago

Migrated to jupyterlab/jupyterlab#212