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
roblourens opened this issue
Aug 8, 2018
· 3 comments
Assignees
Labels
bugIssue identified by VS Code Team member as probable bugterminalGeneral terminal issues that don't fall under another labelupstreamIssue identified as 'upstream' component related (exists outside of VS Code)
I've seen characters that appear trimmed in the terminal from time to time. Examples:
Same instance as the above:
Happens in just one window for a particular character or set of characters. Fixed by a reload. Maybe I've seen it in windows that were used across different DPI displays?
The text was updated successfully, but these errors were encountered:
Tyriar
added
bug
Issue identified by VS Code Team member as probable bug
upstream
Issue identified as 'upstream' component related (exists outside of VS Code)
terminal
General terminal issues that don't fall under another label
labels
Aug 8, 2018
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Labels
bugIssue identified by VS Code Team member as probable bugterminalGeneral terminal issues that don't fall under another labelupstreamIssue identified as 'upstream' component related (exists outside of VS Code)
I've seen characters that appear trimmed in the terminal from time to time. Examples:
Same instance as the above:
Happens in just one window for a particular character or set of characters. Fixed by a reload. Maybe I've seen it in windows that were used across different DPI displays?
The text was updated successfully, but these errors were encountered: