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

2016-11-11 Thread 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

[jupyter] xterm.js in released version?

2016-11-11 Thread 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.