idris2-nvim
idris2-nvim copied to clipboard
feat: reimplement
-
I wanted to just delete syntax files, deprecate them in favour of https://github.com/kayhide/tree-sitter-idris and https://github.com/nvim-treesitter/nvim-treesitter/pull/7274
-
but then started doing astronvim plugin https://github.com/AstroNvim/astrocommunity/pull/1258/files and couldnt connect
then I found that neovim already builtin the support for
-
textDocument/semanticTokens/full
(no need to handle it at all)
with and without lsp highlight
with
vim.api.nvim_set_hl(0, '@lsp.type.type', { fg = '#8be9fd' }) -- Cyan
vim.api.nvim_set_hl(0, '@lsp.type.function', { fg = '#ff79c6' }) -- Pink
vim.api.nvim_set_hl(0, '@lsp.type.enumMember', { italic = true }) -- Purple
vim.api.nvim_set_hl(0, '@lsp.type.variable', { fg = '#ffb86c', bg = '#282828' }) -- Orange
vim.api.nvim_set_hl(0, '@lsp.type.keyword', { fg = '#bd93f9', bold = true }) -- Red
vim.api.nvim_set_hl(0, '@lsp.type.namespace', { fg = '#50fa7b', italic = true }) -- Green
vim.api.nvim_set_hl(0, '@lsp.type.postulate', { fg = '#ffffff', bg = '#ff5555' }) -- Red
vim.api.nvim_set_hl(0, '@lsp.type.module', { fg = '#f1fa8c' }) -- Yellow
without, only treesitter
- and
hover
is builtin supported too using:lua =vim.lsp.buf.hover()
, so, I deletedhover.lua
too
other changes
- use only
vim.ui
- add commands and keybindings
- TODO: restore config
- show warning if many lsp servers are opened simultaneusly
- code actions work not good rn, but actually I like
<leader>la
more