2024-01-09 08:11:24 +01:00
|
|
|
local ts_langs = { "bash", "c", "cpp", "diff", "fennel", "fish", "go", "haskell", "html", "java", "javascript", "jsdoc", "json", "lua", "markdown", "nix", "python", "query", "racket", "rust", "scheme", "toml", "tsx", "typescript", "verilog", "vim", "vimdoc" }
|
2021-10-01 16:56:39 +02:00
|
|
|
|
|
|
|
require'nvim-treesitter.install'.compilers = { "gcc" }
|
2020-09-09 13:32:09 +02:00
|
|
|
require'nvim-treesitter.configs'.setup {
|
2021-10-01 16:56:39 +02:00
|
|
|
ensure_installed = ts_langs,
|
2023-06-02 09:32:13 +02:00
|
|
|
highlight = {
|
|
|
|
enable = true,
|
|
|
|
additional_vim_regex_highlighting = false,
|
|
|
|
},
|
2021-06-19 11:17:48 +02:00
|
|
|
query_linter = {
|
|
|
|
enable = true,
|
|
|
|
use_virtual_text = true,
|
|
|
|
lint_events = { "BufWrite", "CursorHold" },
|
|
|
|
},
|
2021-12-03 15:35:09 +01:00
|
|
|
matchup = {
|
|
|
|
enable = true,
|
|
|
|
},
|
2021-06-19 11:17:48 +02:00
|
|
|
}
|
2022-11-07 09:27:53 +01:00
|
|
|
|
2024-02-19 15:12:06 +01:00
|
|
|
require "nvim-treesitter.parsers".get_parser_configs().lean = {
|
|
|
|
filetype = "lean",
|
|
|
|
install_info = {
|
|
|
|
url = "~/GitSources/tree-sitter-lean",
|
|
|
|
files = {"src/parser.c", "src/scanner.cc"},
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
2022-11-07 09:27:53 +01:00
|
|
|
vim.keymap.set('o', '<Leader>m', ':<C-U>lua require(\'tsht\').nodes()<CR>', { noremap=false, unique=true, silent=true })
|
|
|
|
vim.keymap.set('x', '<Leader>m', ':lua require(\'tsht\').nodes()<CR>' , { noremap=true , unique=true, silent=true })
|