Open rrbutani opened 4 years ago
As mentioned in 62d38dcf32eba7d9ebb994a48fd31c08c1e9135a, we're using a fork that has a patch (https://github.com/xtermjs/xterm.js/compare/master...guregu:box-drawing from https://github.com/xtermjs/xterm.js/issues/2409#issuecomment-623871122) that renders these characters correctly.
Once xtermjs/xterm.js#2409 is resolved, we should switch the examples back to using mainline xterm.js.
https://github.com/rrbutani/xterm-js-sys/blob/62d38dcf32eba7d9ebb994a48fd31c08c1e9135a/examples/package.json#L13-L14
As mentioned in 62d38dcf32eba7d9ebb994a48fd31c08c1e9135a, we're using a fork that has a patch (https://github.com/xtermjs/xterm.js/compare/master...guregu:box-drawing from https://github.com/xtermjs/xterm.js/issues/2409#issuecomment-623871122) that renders these characters correctly.
Once xtermjs/xterm.js#2409 is resolved, we should switch the examples back to using mainline xterm.js.
https://github.com/rrbutani/xterm-js-sys/blob/62d38dcf32eba7d9ebb994a48fd31c08c1e9135a/examples/package.json#L13-L14