Skip to content

Correct terminal font sizing#1443

Merged
dzhou121 merged 1 commit intolapce:masterfrom
TzviPM:master
Oct 5, 2022
Merged

Correct terminal font sizing#1443
dzhou121 merged 1 commit intolapce:masterfrom
TzviPM:master

Conversation

@TzviPM
Copy link
Copy Markdown
Contributor

@TzviPM TzviPM commented Oct 5, 2022

Fixes #1002.

I was having this issue last night:

Screenshot 2022-10-05 at 12 02 25 AM

With my current changes:

Screenshot 2022-10-05 at 3 32 51 PM

@dzhou121 dzhou121 merged commit 278618b into lapce:master Oct 5, 2022
@dzhou121
Copy link
Copy Markdown
Collaborator

dzhou121 commented Oct 5, 2022

Thanks!

@MinusGix MinusGix added A-terminal Area: integrated terminal A-font Area: font rendering labels Oct 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-font Area: font rendering A-terminal Area: integrated terminal

Projects

None yet

Development

Successfully merging this pull request may close these issues.

terminal uses font metrics from editor font

3 participants