From bc0a758cf2a3a26882986a5d0983ea281f517096 Mon Sep 17 00:00:00 2001 From: YuviPanda Date: Sat, 15 Oct 2016 11:37:04 -0700 Subject: [PATCH 1/3] terminal: Bump xterm.js to 2.0.1 Primary fix is better copy / paste support Release notes in https://github.com/sourcelair/xterm.js/releases/tag/2.0.1 --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index f0dd562217..35633ba92e 100644 --- a/package.json +++ b/package.json @@ -41,6 +41,6 @@ "moment": "^2.8.4", "preact": "^4.5.1", "preact-compat": "^1.7.0", - "xterm": "^1.1.3" + "xterm": "^2.0.1" } } From ae5f345d350eb593a1bb89fd3344d439eade0c55 Mon Sep 17 00:00:00 2001 From: YuviPanda Date: Fri, 11 Nov 2016 15:54:41 -0800 Subject: [PATCH 2/3] Remove deprecated xterm.js constructor params --- notebook/static/terminal/js/terminado.js | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/notebook/static/terminal/js/terminado.js b/notebook/static/terminal/js/terminado.js index 179d3ceba1..4ae8652e88 100644 --- a/notebook/static/terminal/js/terminado.js +++ b/notebook/static/terminal/js/terminado.js @@ -2,12 +2,9 @@ define (["xterm"], function(Terminal) { "use strict"; function make_terminal(element, size, ws_url) { var ws = new WebSocket(ws_url); - Terminal.brokenBold = true; var term = new Terminal({ cols: size.cols, - rows: size.rows, - screenKeys: false, - useStyle: false + rows: size.rows }); ws.onopen = function(event) { ws.send(JSON.stringify(["set_size", size.rows, size.cols, From 922c9c8d163114890ad46b9b62080c76712c1f8e Mon Sep 17 00:00:00 2001 From: YuviPanda Date: Fri, 11 Nov 2016 15:54:59 -0800 Subject: [PATCH 3/3] Bump xterm.js version to v2.1.0 --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index 35633ba92e..81b5edd511 100644 --- a/package.json +++ b/package.json @@ -41,6 +41,6 @@ "moment": "^2.8.4", "preact": "^4.5.1", "preact-compat": "^1.7.0", - "xterm": "^2.0.1" + "xterm": "^2.1.0" } }