Merge pull request #7443 from minrk/bold-is-always-broken

force Terminal.brokenBold=True
11 years ago · 8b8437c4cc
parent c84a35da64 d48210701f
commit 8b8437c4cc
1 changed files with 1 additions and 0 deletions
--- 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,