yexuejc/command-manager
1
0
Fork 0
mirror of https://github.com/nuintun/command-manager.git synced 2025-06-27 18:03:20 +08:00
Code Issues Packages Projects Releases Wiki Activity

update files

Browse Source
This commit is contained in:
nuintun 2015-11-30 17:58:59 +08:00
parent cb4df29e27
commit 245ee5584f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
static/js/terminal/xterm.js
View File

@ -921,7 +921,8 @@ var CHARSET_0 = {
'y': '≤', 'z': '≥', '{': 'π', '|': '≠', '}': '£', '~': '°'
};
/** fix: box drawing bold */// FIXME: should this go into frontend?
/** fix: box drawing bold */
// FIXME: should this go into frontend?
// since most monospace fonts can't handle bold on these right we have to
// switch to to corrensponding unicode character
var BOXSYMBOLS_BOLD = {