-
Notifications
You must be signed in to change notification settings - Fork 10
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
highlight not working by default #30
Comments
Have you fixed it? |
No |
Does autocomplete or any of the features work for you? The plugin does nothing in my case. Neither syntax highlighting nor does it add any autocompletion features. Both idris2 and idris2-lsp are on my path. And I have a ipkg file. |
Nothing worked when I test it. |
I've started to experience the same issue via the lazy installer. I think what's happening here is for some reason file type detection doesn't work. As soon as I manually set the filetype -- everything works as expected. I'll try to figure out why this happens and compile a fix. |
Here's my config with lazy:
The text was updated successfully, but these errors were encountered: