-
Notifications
You must be signed in to change notification settings - Fork 560
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
Ligatures for {| and |} #767
Labels
Milestone
Comments
I have to say one thing... Fira's version is horrible. We need more crafted design. |
Fair enough. I prefer Fira's ligature to the two adjacent characters, but that's a low low bar. |
be5invis
added a commit
that referenced
this issue
Dec 6, 2020
@asazernik They are now in |
Closing. I am targeting a version 4.0.2 release tomorrow with these included, as well as fixes of symbols. |
ghost
mentioned this issue
Jul 27, 2021
3 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This pair is common in Javascript with Flow type annotations, where this is used in type annotations to denote an exact object type. (
{ a: number }
specifies a type that can have properties other thana
, while{| a: number |}
specifies a type that has only the propertya
.)The Fira versions of these ligatures are below.
The text was updated successfully, but these errors were encountered: