Compare commits

..

No commits in common. "0811207844cce1130f58b766e1908b3825f85643" and "22b2647aead91b2f1671371aa1f046ef8d7f5a3c" have entirely different histories.

3 changed files with 28 additions and 31 deletions

View File

@ -1818,11 +1818,11 @@
}, },
"unstable": { "unstable": {
"locked": { "locked": {
"lastModified": 1747312588, "lastModified": 1746152631,
"narHash": "sha256-MmJvj6mlWzeRwKGLcwmZpKaOPZ5nJb/6al5CXqJsgjo=", "narHash": "sha256-zBuvmL6+CUsk2J8GINpyy8Hs1Zp4PP6iBWSmZ4SCQ/s=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "b1bebd0fe266bbd1820019612ead889e96a8fa2d", "rev": "032bc6539bd5f14e9d0c51bd79cfe9a055b094c3",
"type": "github" "type": "github"
}, },
"original": { "original": {

View File

@ -292,7 +292,6 @@ EOF";
uv = unstablePkgs.uv; uv = unstablePkgs.uv;
quint = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint"; quint = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint";
quint-lsp = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint-language-server"; quint-lsp = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint-language-server";
ollama = unstablePkgs.ollama;
}) })
rust-overlay rust-overlay
]; ];

View File

@ -43,23 +43,6 @@ vim.api.nvim_create_autocmd({ "BufEnter", "BufWinEnter" }, {
end, end,
}) })
vim.api.nvim_create_autocmd({ "BufNewfile", "BufRead" }, {
callback = function(args)
-- If treesitter supports this filetype then use the treesitter fold expression
local ft = vim.bo.filetype
if ft and ft ~= "" then
-- Safely check if a parser exists for this filetype
local has_parser = pcall(function() return vim.treesitter.language.inspect(ft) end)
if has_parser then
vim.wo.foldexpr = 'v:lua.vim.treesitter.foldexpr()'
vim.wo.foldmethod = 'expr'
vim.wo.foldlevel = 3
end
end
end,
})
vim.cmd([[ vim.cmd([[
au BufNewFile,BufRead *Makefile,*.mk set noexpandtab au BufNewFile,BufRead *Makefile,*.mk set noexpandtab
]]) ]])
@ -337,16 +320,31 @@ require('nvim-treesitter.configs').setup {
extended_mode = true, extended_mode = true,
max_file_lines = nil, max_file_lines = nil,
}, },
textobjects = { enable = true }, --textobjects = {
incremental_selection = { -- enable = true,
enable = true, -- select = {
keymaps = { -- enable = true,
init_selection = '<Leader>c', -- lookahead = true, -- Automatically jump forward to textobj, similar to targets.vim
node_incremental = '<Leader>c', -- keymaps = {
scope_incremental = '<Leader>ci', -- -- You can use the capture groups defined in textobjects.scm
node_decremental = '<Leader>cx', -- ['aa'] = '@parameter.outer',
}, -- ['ia'] = '@parameter.inner',
}, -- ['af'] = '@function.outer',
-- ['if'] = '@function.inner',
-- ['ac'] = '@class.outer',
-- ['ic'] = '@class.inner',
-- },
-- },
--},
--incremental_selection = {
-- enable = true,
-- keymaps = {
-- init_selection = '<Leader>c',
-- node_incremental = '<Leader>c',
-- scope_incremental = '<Leader>ci',
-- node_decremental = '<Leader>cx',
-- },
--},
} }
require 'treesitter-context'.setup { require 'treesitter-context'.setup {