tmux navigation

nvchad/custom/plugins/init.lua

@@ -23,4 +23,5 @@ return {
   ["sindrets/diffview.nvim"] = {},
   ["ThePrimeagen/refactoring.nvim"] = {},
   ["ThePrimeagen/harpoon"] = {},
+  ["christoomey/vim-tmux-navigator"] = {},
 }

nvchad/custom/plugins/lspconfig.lua

@@ -2,7 +2,7 @@ local on_attach = require("plugins.configs.lspconfig").on_attach
 local capabilities = require("plugins.configs.lspconfig").capabilities
 
 local lspconfig = require("lspconfig")
-local servers = {"tailwindcss", "eslint", "cssls", "prismals", "gopls", "dockerls", "yamlls", "hls"}
+local servers = {"tailwindcss", "eslint", "cssls", "prismals", "gopls", "dockerls", "yamlls", "hls", "dafny"}
 
 for _, lsp in ipairs(servers) do
   lspconfig[lsp].setup({
@@ -11,6 +11,12 @@ for _, lsp in ipairs(servers) do
   })
 end
 
+
+lspconfig.dafny.setup {
+  on_attach = on_attach,
+  root_dir = lspconfig.util.root_pattern("*.dfy"),
+}
+
 lspconfig.denols.setup {
   on_attach = on_attach,
   root_dir = lspconfig.util.root_pattern("deno.json", "deno.jsonc"),