From ae5f345d350eb593a1bb89fd3344d439eade0c55 Mon Sep 17 00:00:00 2001 From: YuviPanda Date: Fri, 11 Nov 2016 15:54:41 -0800 Subject: [PATCH] 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 179d3ceba..4ae8652e8 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,