Skip to content

Conversation

@Tyriar
Copy link
Member

@Tyriar Tyriar commented Jun 14, 2022

Fixes #3861

@Tyriar Tyriar added this to the 4.19.0 milestone Jun 14, 2022
@Tyriar Tyriar requested a review from meganrogge June 14, 2022 22:09
@Tyriar Tyriar self-assigned this Jun 14, 2022
@Tyriar Tyriar enabled auto-merge June 14, 2022 23:36
@Tyriar Tyriar merged commit ddf3f08 into xtermjs:master Jun 15, 2022
@Tyriar Tyriar deleted the 3861 branch June 16, 2022 15:31
Tyriar added a commit to microsoft/vscode that referenced this pull request Jun 16, 2022
This is one of those odd cases where the latest (.40) is actually older than the
one before because the merged happened close by.

This brings in the light-height webgl powerline fix xtermjs/xterm.js#3862
justschen pushed a commit to justschen/vscode that referenced this pull request Jun 16, 2022
This is one of those odd cases where the latest (.40) is actually older than the
one before because the merged happened close by.

This brings in the light-height webgl powerline fix xtermjs/xterm.js#3862
lemanschik pushed a commit to code-oss-dev/code that referenced this pull request Nov 25, 2022
This is one of those odd cases where the latest (.40) is actually older than the
one before because the merged happened close by.

This brings in the light-height webgl powerline fix xtermjs/xterm.js#3862
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Custom powerline glyphs aren't playing nicely with line height in webgl

2 participants