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.

Sign up for GitHub

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

Jump to bottom

Fix custom text properties for semantic highlighting #4164

Merged
merged 1 commit into from
Jul 19, 2023
Merged

Fix custom text properties for semantic highlighting #4164

merged 1 commit into from
Jul 19, 2023

Commits on Jul 19, 2023

  1. Fix custom text properties for semantic highlighting 

    We were supposed to allow users to set highlight groups for any token
types that we don't understand, as servers can basically return anything
they like. This didn't work and we just always complained about it.

Now we trap the "text property type doesn't exist" error and warn then.
This allows users to specify the missing ones to stfu the error. Also
improved the message to point to the help.
    @puremourning
    puremourning committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    1ca1512 View commit details
    Browse the repository at this point in the history