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, diff --git a/package.json b/package.json index f0dd562217..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": "^1.1.3" + "xterm": "^2.1.0" } }