Closed blink1073 closed 8 years ago
Depends on https://github.com/jupyter/jupyter-js-ui/pull/97
Thanks!
Depends on https://github.com/jupyter/jupyter-js-ui/pull/97