waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Clean up

Browse Source
This commit is contained in:
Daniel Imms
2021-08-13 15:09:04 -07:00
parent f83ebdbe67
commit 7549f0e924
2 changed files with 5 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files
demo/client.ts
+2 -2
View File
@@ -261,8 +261,8 @@ function runFakeTerminal(): void {
term.write('└─┴─┘ ┗━┻━┛ ╚═╩═╝ └┴┘└┴┘└┺┛┗┹┘ └┴┘└┶┛┗┻┛┗┵┘\n\r');
term.write('\n\r');
term.write('Other:\n\r');
term.write('╭─╮ ╲ ╱ ╷╻╎╏┆┇┊┋ ╺╾╴ ╌╌ ┄┄ ┈┈\n\r');
term.write('│ │ ╳ ╽╿╎╏┆┇┊┋ ╶╼╸ ╍╍ ┅┅ ┉┉\n\r');
term.write('╭─╮ ╲ ╱ ╷╻╎╏┆┇┊┋ ╺╾╴ ╌╌╌ ┄┄┄ ┈┈┈\n\r');
term.write('│ │ ╳ ╽╿╎╏┆┇┊┋ ╶╼╸ ╍╍╍ ┅┅┅ ┉┉┉\n\r');
term.write('╰─╯ ╱ ╲ ╹╵╎╏┆┇┊┋\n\r');
term.write('\n\r');
term.write('All box drawing characters:\n\r');
src/browser/renderer/BoxAndBlockCharacters.ts
+3 -18
View File
@@ -243,22 +243,6 @@ const topYAxisFromMiddle = `${MOVE}${CENTER.TOP} ${TO}${CENTER.MIDDLE}`;
const rightMiddleXAxis = `${MOVE}${CENTER.MIDDLE} ${TO}${RIGHT.MIDDLE}`;
const leftMiddleXAxis = `${MOVE}${CENTER.MIDDLE} ${TO}${LEFT.MIDDLE}`;
const topXLine = `${MOVE}${'0,.45'} ${TO}${'1,.45'}`;
const bottomXLine = `${MOVE}${'0,.55'} ${TO}${'1,.55'}`;
const leftYLine = `${MOVE}${'.35,0'} ${TO}${'.35,1'}`;
const rightYLine = `${MOVE}${'.65,0'} ${TO}${'.65,1'}`;
const leftTopXLine = `${MOVE}${'0,.45'} ${TO}${'.5,.45'}`;
const rightTopXLine = `${MOVE}${'.5,.45'} ${TO}${'1,.45'}`;
const leftBottomXLine = `${MOVE}${'0,.55'} ${TO}${'.5,.55'}`;
const rightBottomXLine = `${MOVE}${'.5,.55'} ${TO}${'1,.55'}`;
const bottomLeftYLine = `${MOVE}${'.35,.5'} ${TO}${'.35,1'}`;
const topLeftYLine = `${MOVE}${'.35,0'} ${TO}${'.35,.5'}`;
const bottomRightYLine = `${MOVE}${'.65,.5'} ${TO}${'.65,1'}`;
const topRightYLine = `${MOVE}${'.65,0'} ${TO}${'.65,.5'}`;
const enum Shapes {
/** │ */ TOP_TO_BOTTOM = 'M.5,0 L.5,1',
@@ -412,9 +396,10 @@ const map: { [character: string]: { [fontWeight: number]: string | ((xp: number,
'╿': { [Style.NORMAL]: `${bottomYAxisFromBottom}`, [Style.BOLD]: `${topYAxisFromMiddle}` },
// Dashed
'╌': { [Style.NORMAL]: `${MOVE}${LEFT.MIDDLE} ${TO}${'.4,.5'} ${MOVE}${'.6,.5'} ${TO}${RIGHT.MIDDLE}` },
// TODO: Spacing dashes evenly, use 1/2 padding on each edge so the line is continuous
'╌': { [Style.NORMAL]: `` }, // `${MOVE}${LEFT.MIDDLE} ${TO}${'.4,.5'} ${MOVE}${'.6,.5'} ${TO}${RIGHT.MIDDLE}` },
'╍': { [Style.BOLD]: `${MOVE}${LEFT.MIDDLE} ${TO}${'.4,.5'} ${MOVE}${'.6,.5'} ${TO}${RIGHT.MIDDLE}` },
'┄': { [Style.NORMAL]: `` },
'┄': { [Style.NORMAL]: `M.04,.5 L.96,.5` },
'┅': { [Style.BOLD]: `` },
'┈': { [Style.NORMAL]: `` },
'┉': { [Style.BOLD]: `` },