##// END OF EJS Templates
Merge pull request #7443 from minrk/bold-is-always-broken...
Matthias Bussonnier -
r19941:6bf4aa09 merge
parent child Browse files
Show More
@@ -2,6 +2,7 b' define ([], function() {'
2 "use strict";
2 "use strict";
3 function make_terminal(element, size, ws_url) {
3 function make_terminal(element, size, ws_url) {
4 var ws = new WebSocket(ws_url);
4 var ws = new WebSocket(ws_url);
5 Terminal.brokenBold = true;
5 var term = new Terminal({
6 var term = new Terminal({
6 cols: size.cols,
7 cols: size.cols,
7 rows: size.rows,
8 rows: size.rows,
General Comments 0
You need to be logged in to leave comments. Login now