You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Version 1.17.2
Commit b813d12980308015bcd2b3a2f6efa5c810c33ba5
Date 2017-10-16T13:57:00.652Z
Shell 1.7.7
Renderer 58.0.3029.110
Node 7.9.0
Architecture x64
Using Ubuntu Xenial (16.04), installed fonts (using apt-get): fonts-noto, fonts-dejavu
Using "editor.fontFamily": "'Noto Mono'", "terminal.integrated.fontSize": 14, notice how the bottom of the letter g is clipped:
Using "editor.fontFamily": "'DejaVu Sans Mono'", "terminal.integrated.fontSize": 14, running echo ____, notice how the underscore character _ is completely invisible:
The problem only happens in the terminal panel but not in the file editing area, despite they're using the same font with the same font size. Adjusting "terminal.integrated.lineHeight" has no effect on the clipping issue.
The text was updated successfully, but these errors were encountered:
VSCode version:
Using Ubuntu Xenial (16.04), installed fonts (using
apt-get
):fonts-noto
,fonts-dejavu
Using
"editor.fontFamily": "'Noto Mono'"
,"terminal.integrated.fontSize": 14
, notice how the bottom of the letterg
is clipped:Using
"editor.fontFamily": "'DejaVu Sans Mono'"
,"terminal.integrated.fontSize": 14
, runningecho ____
, notice how the underscore character_
is completely invisible:The problem only happens in the terminal panel but not in the file editing area, despite they're using the same font with the same font size. Adjusting
"terminal.integrated.lineHeight"
has no effect on the clipping issue.The text was updated successfully, but these errors were encountered: