Quick question for you all. My users are still complaining that things like copy/paste don't work in the Jupyter Notebook terminal app. Reading through the thread and linked PRs at https://github.com/jupyter/notebook/issues/104 it appears that this should be fixed with the switch to xterm.js.
Now as far as I can tell, the most recent release of the notebook is 4.2.3, and that does NOT yet contain this change. Is there any hope of getting this switch into a released version sometime soon? We are not wild about using an unreleased version for our main Jupyterhub service here. Thanks! Michael -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to jupyter+unsubscr...@googlegroups.com. To post to this group, send email to jupyter@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/31cf02da-1311-4b44-978c-c6525fccf612%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.