-
Notifications
You must be signed in to change notification settings - Fork 9
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
Better Proof Highlighting #185
Labels
enhancement
New feature or request
Comments
We can also consider highlighting only the names, but not the arguments |
I just remembered there is this feature https://docs.rs/colored/latest/colored/trait.Colorize.html#method.on_black which will ensure it is always readable (by setting a section's background color to black regardless of the user's terminal color). But may not look that nice. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
When Modus is used in Gnome Terminal with the default light theme, image literals are highlighted using a too bright color. It might be better to use the color of directories to highlight image predicates, because they are guaranteed to have good constrast in any color theme:
The text was updated successfully, but these errors were encountered: