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

Don't use hardcoded color for fuzzy highlight, show outline when in active line #230

Merged
merged 1 commit into from
Mar 27, 2020

Conversation

krassowski
Copy link
Member

References

Fixes #195. I gave up on having a different style for fuzzy matches - it does not seem to be something that others editors do, and there is no reasonable support from the servers for the distinction between fuzzy and exact highlight.

As this still uses the same colour as is used for line highlights, I added a small dotted outline when in the active line.

User-facing changes

When using the dark theme, the fuzzy highlights (as returned by R language server) are now readable and indistinguishable from normal highlights:
Screenshot from 2020-03-22 10-33-52
Screenshot from 2020-03-22 10-33-42

There is a very subtle outline added for active line:
Screenshot from 2020-03-22 10-33-21
Screenshot from 2020-03-22 10-33-01

Same with the light theme:
Screenshot from 2020-03-22 10-32-41
Screenshot from 2020-03-22 10-32-19
Screenshot from 2020-03-22 10-32-08
Screenshot from 2020-03-22 10-32-01

Backwards-incompatible changes

None

Chores

  • linted
  • tested
  • documented
  • changelog entry

@bollwyvl
Copy link
Collaborator

bollwyvl commented Mar 22, 2020 via email

@krassowski
Copy link
Member Author

Not sure how to reproduce... @bollwyvl do you have a screenshot?

@bollwyvl
Copy link
Collaborator

  • open atest/examples/example.py

  • Settings -> JupyterLab Theme -> JupyterLab Light

  • Settings -> Text Editor Theme -> zenburn

  • set caret on a token
    Screenshot from 2020-03-22 12-21-10

  • Settings -> JupyterLab Theme -> JupyterLab Dark

  • Settings -> Text Editor Theme -> xq-light

  • set caret on a token
    Screenshot from 2020-03-22 12-23-52

@krassowski krassowski merged commit 75fd503 into master Mar 27, 2020
@krassowski krassowski deleted the fix/highlights-background branch September 4, 2020 16:21
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

Successfully merging this pull request may close these issues.

Highlights use hardcoded rather than theme-responsive colors
2 participants