mirror of
https://github.com/nuintun/command-manager.git
synced 2025-06-07 03:14:07 +08:00
40 lines
682 B
JavaScript
40 lines
682 B
JavaScript
/**
|
|
* Created by nuintun on 2015/11/24.
|
|
*/
|
|
|
|
'use strict';
|
|
|
|
// if bold is broken, we can't
|
|
// use it in the terminal.
|
|
function isBoldBroken(){
|
|
var el = document.createElement('span');
|
|
|
|
el.innerHTML = 'hello world';
|
|
|
|
document.body.appendChild(el);
|
|
|
|
var w1 = el.scrollWidth;
|
|
|
|
el.style.fontWeight = 'bold';
|
|
|
|
var w2 = el.scrollWidth;
|
|
|
|
document.body.removeChild(el);
|
|
|
|
return w1 !== w2;
|
|
}
|
|
|
|
module.exports = function (Terminal){
|
|
/**
|
|
* open
|
|
*/
|
|
Terminal.prototype.open = function (){
|
|
// XXX - hack, move this somewhere else.
|
|
if (Terminal.brokenBold === null) {
|
|
Terminal.brokenBold = isBoldBroken();
|
|
}
|
|
|
|
this.refresh(0, this.rows - 1);
|
|
};
|
|
};
|