-
-
Notifications
You must be signed in to change notification settings - Fork 62
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
Face for operators such as = * / separate from type face #171
Comments
I have nothing against customizability of these typefaces per se if there is a demand, but note that operators and types are rarely adjacent in code so I am not sure I understand why having the same color is a problem. Generally themes try to make do with 8-10 "base" colors for text, simply because adding more just crowds the color space so they become hard to distinguish anyway. So I would suggest the following: let's wait a month to hear from others, and if there are no objections then we can add a face. |
@tpapp. As there hasn't been any contrary comment, do you find it okay to add the faces? |
A PR is welcome. Note that we enumerate operators already in |
I'll bear that in mind. |
There should perhaps be a face for types and a face for symbols such as
+=-^/*:
which act as operators so that they would not have necessarily the same colour as types.The text was updated successfully, but these errors were encountered: