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.

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

[question] [help] dollar sign alternative #527

Closed
samadadi opened this issue Jan 20, 2022 · 3 comments
Closed

[question] [help] dollar sign alternative #527

samadadi opened this issue Jan 20, 2022 · 3 comments

Comments

@samadadi
Copy link

currently dollar sign contains cross line that makes it, in my opinion super ugly. does this font has an alternative to enable, specially for these <$> <$ $> ligatures? is it possible to build font from source without cross line?

@philippnurullin
Copy link
Member

In the first version the construction of $ was without the bar. Bur after receiving the feedback we changed it to be more classical.
Here is an issue about it. #110

@shahmilav
Copy link

@samadadi, in the meantime, what you could use is the nerd font patched version from https://www.nerdfonts.com/font-downloads. It is not yet updated with the newer $ (although I suspect it is a matter of time), and it has the un-crossed glyph.

@philippnurullin
Copy link
Member

The alternate construction was added in the cv14. This can be accessed through OpenType setting in your application.
You can grab files from here https://github.com/JetBrains/JetBrainsMono/tree/master/fonts

Here are instructions on how to build from source https://github.com/JetBrains/JetBrainsMono#building-from-source-files

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants