From 6bf4aa09317c317a4e23130d502f895d0a0a0aab 2015-01-15 07:48:01 From: Matthias Bussonnier Date: 2015-01-15 07:48:01 Subject: [PATCH] Merge pull request #7443 from minrk/bold-is-always-broken force Terminal.brokenBold=True --- 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,