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

List of ligatures in Jetbrains preview text without a ligature #445

Open
AlexPoulsen opened this issue Mar 3, 2021 · 3 comments
Open

List of ligatures in Jetbrains preview text without a ligature #445

AlexPoulsen opened this issue Mar 3, 2021 · 3 comments
Labels
enhancement – planned New feature or request

Comments

@AlexPoulsen
Copy link

PyCharm and IDEA list <!-- -- != := === >= >- >=> |-> -> <$> </> #[ |||> |= ~@
:= </> #[ ~@ do not have a ligature
>=> uses the >= ligature followed by another >
|-> has a | and then the -> ligature

Jetbrains Mono does have a ligature for all of these.
<=< <-| do not work as well

RecMonoLinear ligatures off

RecMonoLinear ligatures on

and with Jetbrains Mono
Jetbrains Mono ligatures on

Additionally I prefer the way Jetbrains Mono draws the <$> ligature, it is more apparent that it is connected.

@arrowtype
Copy link
Owner

Hi Alex, thanks for taking the time to document and suggest this! Sorry I missed the issue for a bit.

I'll keep this set in mind for the next time I'm able to add some more code ligatures.

@arrowtype arrowtype added the enhancement – planned New feature or request label Apr 16, 2021
@wolverian
Copy link

The >=> ligature is very annoying with Haskell code using point-free monadic code:

parse' :: Text -> Either Error [Node]
parse' =
    first LexerError . Lexer.parse
        >=> first ParserError . parse

Screenshot 2022-08-08 at 20 15 59

@arrowtype
Copy link
Owner

arrowtype commented Aug 8, 2022

@wolverian ouch, yeah, that combination is not good. I might prioritize fixing that before the others, as this one is actively confusing while the others are still pretty legible, IMO.

Thanks for leaving the comment!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement – planned New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants