mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2024-12-27 04:20:22 +08:00
Code Issues Packages Projects Releases Wiki Activity

force Terminal.brokenBold=True

Browse Source 
bold always seems broken
This commit is contained in:
Min RK 2015-01-13 15:32:40 -08:00
parent 5965e58eb5
commit d48210701f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
IPython/html/static/terminal/js/terminado.js
View File

@ -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,