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

Unicode Middle Dot missing #38

Open
sebthom opened this issue Apr 5, 2023 · 0 comments
Open

Unicode Middle Dot missing #38

sebthom opened this issue Apr 5, 2023 · 0 comments
Labels
enhancement help wanted

Comments

@sebthom
Copy link

sebthom commented Apr 5, 2023

Hi,
I tried to use this nice font with https://github.com/chrisant996/clink-flex-prompt (powerline for Windows) and realized that when selecting the option connection="dotted" that no dots are displayed as separator. I switched to Courier New to verify and there the dots are displayed. I think the U+00B7 is missing from this font. It would be great if it could be added.

This is the character that is not displayed: https://github.com/chrisant996/clink-flex-prompt/blob/b8ce45967a091753b1b66dfe2a9c6bf30bace0a9/flexprompt.lua#L211
@sebthom sebthom changed the title Unicode Middle Dot Unicode Middle Dot missing Apr 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sunaku @sebthom