Closed I-Want-ToBelieve closed 1 year ago
What happened here? Is this supported now?
@MangoIV yeah, the highlights are here.
Thank you. Are these all there are or might there be some missing? I’m currently trying to get semantic highlighting for lean4 but have some issues.
Thank you. Are these all there are or might there be some missing? I’m currently trying to get semantic highlighting for lean4 but have some issues.
What kind of issues? I'm getting highlights for Rust, Lua, TypeScript... This sounds like a server issue, nothing to do with the colorscheme.
Aight okay. The issue is other Color schemes get the highlighting… Idk I’ll invest further and let you know. It’s good to know that it shouldn’t be Dracula. Thanks.
@MangoIV You can use :Inspect
to make sure that the semantic highlights are being applied. You should see a "Semantic Tokens" section.
Here's an example from lua_ls
:
https://github.com/theHamsta/nvim-semantic-tokens