Terminal DOM renderer clips the top of the cell, cutting off tall glyphs like U+23A1 ⎡

[thchr]

Does this issue occur when all extensions are disabled?: Yes

• VS Code Version: 1.74.3
• OS Version: Windows_NT x64 10.0.22621

Problem:

The VSCode terminal display of Unicode characters U+23A1 (⎡) and U+23A4 (⎤) is mangled and looks more similar to U+23A2 or U+23A5 instead (⎢). These characters are helpful in rendering matrices properly.

Steps to Reproduce:

1. Paste ⎡ ⎤ into the VSCode terminal: observe that they are wrongly rendered:
   
2. Compare with e.g. Windows Terminal:
   

[meganrogge]

works for me on mac for all values of terminal.integrated.gpuAcceleration on insider's

rendering.mov

[meganrogge]

does not work on windows

[meganrogge]

xtermjs/xterm.js#2693

[Tyriar]

Works for me on Windows on all renderers:

[meganrogge]

all renderers on windows

[Tyriar]

@meganrogge dom too? What's your font family, line height, etc.?

[meganrogge]

Also dom and I don't set font or line height

[Tyriar]

Can repro when I unset fontFamily:

This is somewhat expected because of the weird vertical offset with this font:

• Hack: good
• Consolas: bad
• Courier New: bad

Even ddg and other websites clip this:

https://unicode-table.com/en/23A1/

[Tyriar]

It's working on all but the first line on the webgl renderer which makes sense. Not sure how to action this issue, but an easy workaround is switching fonts to one that doesn't vertically offset this char.

[meganrogge]

Should we set a default font family for ppl so that the majority won't encounter this issue?

[Tyriar]

That's a pretty big impact/scary change, we would only want to do that if we changed the default monospace font everywhere

[Tyriar]

Upstream: xtermjs/xterm.js#5240

The fact that this is cut off for the webgl renderer on the first line only is by design.