Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

1px of extra spacing, Makes Powerline look terrible #14

Closed
geordieF opened this issue Jan 7, 2017 · 2 comments
Closed

1px of extra spacing, Makes Powerline look terrible #14

geordieF opened this issue Jan 7, 2017 · 2 comments

Comments

@geordieF
Copy link

geordieF commented Jan 7, 2017

there seems to be an extra 1px of letter spacing, powerline doesn't look right.
DodgyAF.png
@kovidgoyal
Copy link
Owner

What powerline font is that? Not only is there a border, the solid arrow does not seem to be properly aligned. Basically it looks like the solid arrow glyph is not palced correctly in the patched font.

See the screenshot in the kitty readme page for how a properly patched powerline font renders. IIRC the powerline font patcher is outdated and unmaintained, I have an updated font patcher script in my watcher repository that works with modern versions of fontforge, try regenerating your font with that.

@kovidgoyal
Copy link
Owner

https:/kovidgoyal/watcher/blob/master/fontpatcher.py

kovidgoyal added a commit that referenced this issue Jan 9, 2017
@kovidgoyal
Add the powerline block arrow symbols to the set of box drawing chara…
77a161b 
…cters

Fixes #14

This is slightly hackish since those symbols are not defined in the
unicode spec (they are in the private use area) so it is conceivable
that there exist some applications that would break, however, I know of
no such applications, if any show up in the future, a config option to
control this can be added.
@NeoTheFox NeoTheFox mentioned this issue Aug 28, 2017
Closed
@TheConfuZzledDude TheConfuZzledDude mentioned this issue Jun 11, 2019
Closed
@ad-on-is ad-on-is mentioned this issue Feb 23, 2022
Closed
@okuuva okuuva mentioned this issue Oct 10, 2022
Closed
@hyegeek hyegeek mentioned this issue Nov 13, 2022
Closed
@mojolo mojolo mentioned this issue Jan 24, 2024
Closed
@KaylaSolace KaylaSolace mentioned this issue Jun 25, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kovidgoyal @geordieF