Re: [jupyter] xterm.js in released version?

[Thomas Kluyver]

Hi Michael,

On 11 November 2016 at 15:25, Michael Milligan  wrote:

> 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.


I don't think we have a specific schedule, but I would like to get 4.3 out
soon.

Thomas

-- 
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/CAOvn4qj9Zx0am%2BVfUO55vtPnftmkdOhkhkZkWZntLtq7SeOCXg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

[jupyter] xterm.js in released version?

[Michael Milligan]

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.