diff --git a/IPython/html/static/terminal/js/terminado.js b/IPython/html/static/terminal/js/terminado.js index 72dda7d..a5552ff 100644 --- a/IPython/html/static/terminal/js/terminado.js +++ b/IPython/html/static/terminal/js/terminado.js @@ -2,6 +2,7 @@ define ([], function() { "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,