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

Make back slash darker #579

Closed
pamu opened this issue Mar 25, 2018 · 11 comments
Closed

Make back slash darker #579

pamu opened this issue Mar 25, 2018 · 11 comments

Comments

@pamu
Copy link

pamu commented Mar 25, 2018

Back slash appears too light.
screen shot 2018-03-25 at 16 31 31

@tonsky
Copy link
Owner

tonsky commented Mar 25, 2018

Is that Haskell? What does backslash mean here?

@Moulick
Copy link

Moulick commented Apr 1, 2018

@tonsky Yeah man, that thin backslash in the latest release is not easily visible.

@miniBill
Copy link

@tonsky it's Haskell, and \a -> b is a function taking a as argument and returning b as result.

@leopiccionia
Copy link

leopiccionia commented May 31, 2018

Haskell uses \ as the lambda (anonymous function) operator, supposedly due to similarity between \ and λ (Hasklig considered a \->λ-like ligature, but rejected it because λ is a valid identifier in Haskell).

@code4t2
Copy link

code4t2 commented Jun 19, 2018

That looks like it's interpreting them as the escape character(s) in Java/C#/others ( \n \t \r etc.) This behavior is actually useful in these languages, so I'm not sure this would be a bug.

@unclechu
Copy link

@tonsky it's "black" slash (not "back").

@tonsky
Copy link
Owner

tonsky commented Jun 19, 2018

@unclechu what are you talking about? https://en.wikipedia.org/wiki/Backslash

@unclechu
Copy link

@tonsky I'm talking about the title of the issue, please read it carefully.

@tonsky tonsky changed the title Make black slash darker Make back slash darker Jun 19, 2018
@tonsky
Copy link
Owner

tonsky commented Jun 19, 2018

thx, fixed the title

@pamu
Copy link
Author

pamu commented Feb 21, 2019

Is anyone working on it?

@tonsky
Copy link
Owner

tonsky commented Feb 21, 2019

Should’ve been fixed in 1.206 #577

@tonsky tonsky closed this as completed Feb 21, 2019
@ghost ghost mentioned this issue Mar 15, 2021
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

7 participants