Fix windows ctrl-c behavior
Fix windows ctrl-c behavior

blink1073/jupyter-js-plugins,blink1073/jupyter-js-plugins,jupyter/jupyter-js-plugins,blink1073/jupyter-js-plugins,jupyter/jupyter-js-plugins,jupyter/jupyter-js-plugins,jupyter/jupyter-js-plugins,blink1073/jupyter-js-plugins,blink1073/jupyter-js-plugins,jupyter/jupyter-js-plugins