Add stuff (and fix folder icon)

lazy-lock.json

@@ -1,46 +1,46 @@
 {
   "LuaSnip": { "branch": "master", "commit": "de1a287c9cb525ae52bc846e8f6207e5ef1da5ac" },
   "agda.nvim": { "branch": "main", "commit": "4dbd441c5ece3da4be0e93934eaf9a026c8225db" },
-  "aylin.vim": { "branch": "master", "commit": "d9532f02f5ea8f396fc62c50bb34c348b4a9aa02" },
-  "bufferline.nvim": { "branch": "main", "commit": "73540cb95f8d95aa1af3ed57713c6720c78af915" },
+  "aylin.vim": { "branch": "0.5-nvim", "commit": "91d3e5e720d900eec18b49a40c9a27f4a44e56e3" },
+  "bufferline.nvim": { "branch": "main", "commit": "73edc1f2732678e7a681e3d3be49782610914f6b" },
   "catppuccin": { "branch": "main", "commit": "d97387aea8264f484bb5d5e74f2182a06c83e0d8" },
   "cmp-buffer": { "branch": "main", "commit": "3022dbc9166796b644a841a02de8dd1cc1d311fa" },
   "cmp-cmdline": { "branch": "main", "commit": "d250c63aa13ead745e3a40f61fdd3470efde3923" },
   "cmp-nvim-lsp": { "branch": "main", "commit": "39e2eda76828d88b773cc27a3f61d2ad782c922d" },
   "cmp-path": { "branch": "main", "commit": "91ff86cd9c29299a64f968ebb45846c485725f23" },
-  "edge": { "branch": "master", "commit": "1aa0fe7e6d29246868b8370b7da60da288ed9f3b" },
-  "everforest-nvim": { "branch": "main", "commit": "5e0e32a569fb464911342f0d421721cc1c94cf25" },
+  "edge": { "branch": "master", "commit": "605c70fac8985bd6ac137839571f1323b4a067a9" },
+  "everforest-nvim": { "branch": "main", "commit": "ed4ba26c911696d69cfda26014ec740861d324e1" },
   "github-nvim-theme": { "branch": "main", "commit": "d832925e77cef27b16011a8dfd8835f49bdcd055" },
-  "gitsigns.nvim": { "branch": "main", "commit": "805610a9393fa231f2c2b49cb521bfa413fadb3d" },
+  "gitsigns.nvim": { "branch": "main", "commit": "a28bb1db506df663b063cc63f44fbbda178255a7" },
   "glance.nvim": { "branch": "master", "commit": "51059bcf21016387b6233c89eed220cf47fca752" },
   "kanagawa.nvim": { "branch": "master", "commit": "860e4f80df71221d18bf2cd9ef1deb4d364274d2" },
-  "lazy.nvim": { "branch": "main", "commit": "5d29ffeaa0f2d91f1dfbc21943d19a11e59a6fc6" },
-  "lspsaga.nvim": { "branch": "main", "commit": "d65619007ab4cf1b7c4ade916d8fa648b67487d7" },
+  "lazy.nvim": { "branch": "main", "commit": "8f19915175395680808de529e4220da8dafc0759" },
+  "lspsaga.nvim": { "branch": "main", "commit": "234d8a0a411d43d5f265ef6c40eebf233e453aa2" },
   "lualine.nvim": { "branch": "master", "commit": "0a5a66803c7407767b799067986b4dc3036e1983" },
   "material.vim": { "branch": "main", "commit": "07e70d5d675fadb1e81191b2d990b2a72edccf0d" },
-  "modus-themes.nvim": { "branch": "master", "commit": "bed70e9562d83852f40e4b5b0bd92b4fd9d4323c" },
-  "nlsp-settings.nvim": { "branch": "main", "commit": "86076bac285a5c180abbc99156d800ddf075a7ae" },
+  "modus-themes.nvim": { "branch": "master", "commit": "05aff2a9026e92b1f03a4bd5f3b76651f206b74a" },
+  "nlsp-settings.nvim": { "branch": "main", "commit": "d92035e6c05cded5f1a7458b57506adbf29a5c9c" },
   "nordic.nvim": { "branch": "main", "commit": "03fcff3c8d68049b8118047784746048b4a08049" },
   "nui.nvim": { "branch": "main", "commit": "b1b3dcd6ed8f355c78bad3d395ff645be5f8b6ae" },
   "nvim-cmp": { "branch": "main", "commit": "5260e5e8ecadaf13e6b82cf867a909f54e15fd07" },
-  "nvim-lspconfig": { "branch": "master", "commit": "6d2ae9fdc3111a6e8fd5db2467aca11737195a30" },
+  "nvim-lspconfig": { "branch": "master", "commit": "eadcee1573ca9d0e0cd36a49f620186a8dfdc607" },
   "nvim-scrollbar": { "branch": "main", "commit": "35f99d559041c7c0eff3a41f9093581ceea534e8" },
-  "nvim-treesitter": { "branch": "master", "commit": "1eabe69bfa8f78e14fcf5d42a2b3881babaca30a" },
+  "nvim-treesitter": { "branch": "master", "commit": "30de5e7e9486fb1b1b8c2a1e71052b13f94f1cb0" },
   "nvim-web-devicons": { "branch": "master", "commit": "e37bb1feee9e7320c76050a55443fa843b4b6f83" },
-  "oil.nvim": { "branch": "master", "commit": "06a19f77f1a1da37b675635e6f9c5b5d50bcaacd" },
-  "onedarkpro.nvim": { "branch": "main", "commit": "0918397002e0da0a7ab6ea05b5dd5e5ec346bfc5" },
+  "oil.nvim": { "branch": "master", "commit": "259b1fbc84734bfb74225b2c2f408dd7ed9cf474" },
+  "onedarkpro.nvim": { "branch": "main", "commit": "a017303959616a8090d0e331a75f65bc67321c05" },
   "onenord.nvim": { "branch": "main", "commit": "f1e25fd839442d4b3c6bd36cfc7fa56edc629671" },
   "oxocarbon.nvim": { "branch": "main", "commit": "c5846d10cbe4131cc5e32c6d00beaf59cb60f6a2" },
   "papercolor-theme": { "branch": "master", "commit": "0cfe64ffb24c21a6101b5f994ca342a74c977aef" },
-  "plenary.nvim": { "branch": "master", "commit": "08e301982b9a057110ede7a735dd1b5285eb341f" },
+  "plenary.nvim": { "branch": "master", "commit": "a3e3bc82a3f95c5ed0d7201546d5d2c19b20d683" },
   "ripgrep": { "branch": "master", "commit": "f1d23c06e30606b2428a4e32da8f0b5069e81280" },
   "rust-tools.nvim": { "branch": "master", "commit": "676187908a1ce35ffcd727c654ed68d851299d3e" },
-  "sonokai": { "branch": "master", "commit": "239c228a5ea2e141377b6727ee79731a289f123a" },
+  "sonokai": { "branch": "master", "commit": "da5b10020b9ca960f5a0296ab59ccc44f0d7718e" },
   "space-vim-dark": { "branch": "master", "commit": "0ab698bd2a3959e3bed7691ac55ba4d8abefd143" },
-  "telescope.nvim": { "branch": "master", "commit": "0c12735d5aff6a48ffd8111bf144dc2ff44e5975" },
-  "toggleterm.nvim": { "branch": "main", "commit": "066cccf48a43553a80a210eb3be89a15d789d6e6" },
+  "telescope.nvim": { "branch": "master", "commit": "4aed63995a69e343b068c7469491a8d1592c339f" },
+  "toggleterm.nvim": { "branch": "main", "commit": "fee58a0473fd92b28c34f8f724e4918b15ba30a3" },
   "tokyodark.nvim": { "branch": "master", "commit": "ba538ab69e8a4e3ebac127734b7deff9e7462463" },
-  "trouble.nvim": { "branch": "main", "commit": "b9cf677f20bb2faa2dacfa870b084e568dca9572" },
+  "trouble.nvim": { "branch": "main", "commit": "a8264a65a0b894832ea642844f5b7c30112c458f" },
   "vim-bbye": { "branch": "master", "commit": "25ef93ac5a87526111f43e5110675032dbcacf56" },
   "vimtex": { "branch": "master", "commit": "9665df7f51ee24aa81dbd81782e0a22480209753" }
 }

lua/configs/autocomplete.lua

@@ -6,22 +6,22 @@ function M.config()
     -- github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md
     
     -- Servers without extra config
-    local servers = { 'pylsp', 'html', 'zls' }
-    local lspconfig = require('lspconfig')
+    local servers = { "pylsp", "html", "zls" }
+    local lspconfig = require("lspconfig")
     for _, lsp in pairs(servers) do
         lspconfig[lsp].setup {}
     end
 
     -- Servers with extra config
-    lspconfig['rust_analyzer'].setup {                
+    lspconfig["rust_analyzer"].setup {                
         settings = {                      
             ["rust-analyzer"] = {
                 procMacro = { enable = true },
             }
         }
     }
-    lspconfig['clangd'].setup {
-        cmd = {'clangd', '-header-insertion=never' }
+    lspconfig["clangd"].setup {
+        cmd = {"clangd", "-header-insertion=never" }
     }
 
     -- Setup nvim-cmp.
@@ -43,81 +43,65 @@ function M.config()
           -- documentation = cmp.config.window.bordered(),
       },
       mapping = cmp.mapping.preset.insert({
-          ['<C-Space>'] = cmp.mapping.complete(),
-          ['<C-e>'] = cmp.mapping.abort(),
-          ['<CR>'] = cmp.mapping.confirm({ select = true }), -- Accept currently selected item. Set `select` to `false` to only confirm explicitly selected items.
+          ["<C-Space>"] = cmp.mapping.complete(),
+          ["<C-e>"] = cmp.mapping.abort(),
+          ["<CR>"] = cmp.mapping.confirm({ select = true }), -- Accept currently selected item. Set `select` to `false` to only confirm explicitly selected items.
       }),
       sources = cmp.config.sources({
-          { name = 'nvim_lsp' },
-          { name = 'luasnip' },
+          { name = "nvim_lsp" },
+          { name = "luasnip" },
           { name = "path" },
       }, {
-          { name = 'buffer' },
+          { name = "buffer" },
       })
     })
 
     -- nvim-cmp for commands
-    cmp.setup.cmdline({ '/', '?' }, {
+    cmp.setup.cmdline({ "/", "?" }, {
         mapping = cmp.mapping.preset.cmdline(),
         sources = {
-            { name = 'buffer' }
+            { name = "buffer" }
         }
     })
-    cmp.setup.cmdline(':', {
+    cmp.setup.cmdline(":", {
         mapping = cmp.mapping.preset.cmdline(),
         sources = cmp.config.sources({
-            { name = 'path' }
+            { name = "path" }
         }, {
-            { name = 'cmdline' }
+            { name = "cmdline" }
         }),
         matching = { disallow_symbol_nonprefix_matching = false }
     })
 
     local nlspsettings = require("nlspsettings")
     nlspsettings.setup({
-        config_home = vim.fn.stdpath('config') .. '/nlsp-settings',
+        config_home = vim.fn.stdpath("config") .. "/nlsp-settings",
         local_settings_dir = ".nlsp-settings",
-        local_settings_root_markers_fallback = { '.git' },
+        local_settings_root_markers_fallback = { ".git" },
         append_default_schemas = true,
-        loader = 'json'
+        loader = "json"
     })
 
     require("luasnip.loaders.from_snipmate").lazy_load({paths = "~/.config/nvim/snippets/"})
 
-    local devicons = require('nvim-web-devicons')
-    cmp.register_source('devicons', {
-        complete = function(_, _, callback)
-            local items = {}
-            for _, icon in pairs(devicons.get_icons()) do
-                table.insert(items, {
-                    label = icon.icon .. '  ' .. icon.name,
-                    insertText = icon.icon,
-                    filterText = icon.name,
-                })
-            end
-            callback({ items = items })
-        end,
-    })
-
     --- Set up LspSaga.
-    require("lspsaga").setup({
+    require("lspsaga").setup {
         ui = {
-            -- This option only works in Neovim 0.9
-            title = true,
-            -- Border type can be single, double, rounded, solid, shadow.
-            border = "single",
-            winblend = 0,
-            expand = " ",
-            collapse = " ",
-            code_action = " ",
-            incoming = " ",
-            outgoing = " ",
-            hover = ' ',
-            kind = {},
+            border = "solid",
+            kind = {
+                Folder = { " " },
+            },
         },
-    })
+        lightbulb = {
+            enable = false, -- Annoying
+        },
+        scroll_preview = {
+            scroll_down = '<C-n>',
+            scroll_up = '<C-p>',
+        },
+    }
 
-    local glance = require('glance')
+    local glance = require("glance")
     local actions = glance.actions
 
     glance.setup({
@@ -130,57 +114,57 @@ function M.config()
         },
         border = {
             enable = false, -- Show window borders. Only horizontal borders allowed
-            top_char = '―',
-            bottom_char = '―',
+            top_char = "―",
+            bottom_char = "―",
         },
         list = {
-            position = 'right', -- Position of the list window 'left'|'right'
+            position = "right", -- Position of the list window "left"|"right"
             width = 0.33, -- 33% width relative to the active window, min 0.1, max 0.5
         },
         theme = { -- This feature might not work properly in nvim-0.7.2
             enable = true, -- Will generate colors for the plugin based on your current colorscheme
-            mode = 'darken', -- 'brighten'|'darken'|'auto', 'auto' will set mode based on the brightness of your colorscheme
+            mode = "darken", -- "brighten"|"darken"|"auto", "auto" will set mode based on the brightness of your colorscheme
         },
         mappings = {
             list = {
-                ['j'] = actions.next, -- Bring the cursor to the next item in the list
-                ['k'] = actions.previous, -- Bring the cursor to the previous item in the list
-                ['<Down>'] = actions.next,
-                ['<Up>'] = actions.previous,
-                ['<Tab>'] = actions.next_location, -- Bring the cursor to the next location skipping groups in the list
-                ['<S-Tab>'] = actions.previous_location, -- Bring the cursor to the previous location skipping groups in the list
-                ['<C-u>'] = actions.preview_scroll_win(5),
-                ['<C-d>'] = actions.preview_scroll_win(-5),
-                ['v'] = actions.jump_vsplit,
-                ['s'] = actions.jump_split,
-                ['t'] = actions.jump_tab,
-                ['<CR>'] = actions.jump,
-                ['o'] = actions.jump,
-                ['<leader>l'] = actions.enter_win('preview'), -- Focus preview window
-                ['q'] = actions.close,
-                ['Q'] = actions.close,
-                ['<Esc>'] = actions.close,
-                -- ['<Esc>'] = false -- disable a mapping
+                ["j"] = actions.next, -- Bring the cursor to the next item in the list
+                ["k"] = actions.previous, -- Bring the cursor to the previous item in the list
+                ["<Down>"] = actions.next,
+                ["<Up>"] = actions.previous,
+                ["<Tab>"] = actions.next_location, -- Bring the cursor to the next location skipping groups in the list
+                ["<S-Tab>"] = actions.previous_location, -- Bring the cursor to the previous location skipping groups in the list
+                ["<C-u>"] = actions.preview_scroll_win(5),
+                ["<C-d>"] = actions.preview_scroll_win(-5),
+                ["v"] = actions.jump_vsplit,
+                ["s"] = actions.jump_split,
+                ["t"] = actions.jump_tab,
+                ["<CR>"] = actions.jump,
+                ["o"] = actions.jump,
+                ["<leader>l"] = actions.enter_win("preview"), -- Focus preview window
+                ["q"] = actions.close,
+                ["Q"] = actions.close,
+                ["<Esc>"] = actions.close,
+                -- ["<Esc>"] = false -- disable a mapping
             },
             preview = {
-                ['Q'] = actions.close,
-                ['<Tab>'] = actions.next_location,
-                ['<S-Tab>'] = actions.previous_location,
-                ['<leader>l'] = actions.enter_win('list'), -- Focus list window
+                ["Q"] = actions.close,
+                ["<Tab>"] = actions.next_location,
+                ["<S-Tab>"] = actions.previous_location,
+                ["<leader>l"] = actions.enter_win("list"), -- Focus list window
             },
         },
         hooks = {},
         folds = {
-            fold_closed = '',
-            fold_open = '',
+            fold_closed = " ",
+            fold_open = " ",
             folded = true, -- Automatically fold list on startup
         },
         indent_lines = {
             enable = true,
-            icon = '│',
+            icon = "│",
         },
         winbar = {
-            enable = true, -- Available strating from nvim-0.8+
+            enable = false, -- Managed by lspsaga instead
         },
     })
 

lua/configs/treesitter.lua

@@ -3,7 +3,7 @@ function M.config()
     -- nvim-treesitter config
     require 'nvim-treesitter.configs'.setup {
         -- ensure_installed = "maintained", -- for installing all maintained parsers
-        ensure_installed = { "c", "cpp", "rust", "lua" }, -- for installing specific parsers
+        ensure_installed = { "c", "cpp", "rust", "lua", "haskell", "agda" }, -- for installing specific parsers
         sync_install = true, -- install synchronously
         ignore_install = {}, -- parsers to not install
         highlight = {

lua/core/init.lua

@@ -1,6 +1,4 @@
--- basicsinit
-vim.cmd('syntax on')
-vim.cmd('filetype plugin indent on')
+-- Basics.
 vim.opt.number         = true
 vim.opt.relativenumber = true
 vim.opt.termguicolors  = true
@@ -8,27 +6,25 @@ vim.opt.shiftround     = true
 vim.opt.updatetime     = 100
 vim.opt.cursorline     = true
 vim.opt.autowrite      = true
-if (vim.fn.has('termguicolors') == 1) then
+if (vim.fn.has('termguicolors')) then
     vim.opt.termguicolors = true
 end
--- tabs
 vim.opt.autoindent    = true
 vim.opt.tabstop       = 4
 vim.opt.shiftwidth    = 4
 vim.opt.softtabstop   = 4
-vim.opt.mouse         = 'a'
+vim.opt.mouse         = "a"
 vim.opt.expandtab     = true
 vim.opt.autowrite     = false
 vim.opt.wrap          = false
-vim.opt.formatoptions = ''
-vim.opt.signcolumn = "yes" -- prevent sign column flickering
+vim.opt.formatoptions = ""
+vim.opt.signcolumn    = "yes" -- Prevent sign column flickering.
 
--- leader key has to be done before setting up lazy.nvim
+-- Leader key has to be set up before setting up lazy.nvim.
 vim.g.mapleader = ";"
 vim.g.maplocalleader = "\\"
 
--- disable some useless standard plugins to save startup time
--- these features have been better covered by plugins
+-- Disable builtin features to save startup time.
 vim.g.loaded_matchparen        = 1
 vim.g.loaded_matchit           = 1
 vim.g.loaded_logiPat           = 1
@@ -44,7 +40,7 @@ vim.g.loaded_netrwPlugin       = 1
 vim.g.loaded_tutor_mode_plugin = 1
 vim.g.loaded_remote_plugins    = 1
 
--- setup lazy.nvim
+-- Setup lazy.nvim
 local lazypath = vim.fn.stdpath("data") .. "/lazy/lazy.nvim"
 if not vim.loop.fs_stat(lazypath) then
   vim.fn.system({
@@ -58,6 +54,20 @@ if not vim.loop.fs_stat(lazypath) then
 end
 vim.opt.rtp:prepend(lazypath)
 
+-- Status line.
+-- vim.opt.cmdheight = 0
+-- Show status line during macro recording.
+-- vim.api.nvim_create_autocmd({ "RecordingEnter" }, {
+--   callback = function()
+--                vim.opt.cmdheight = 1
+--              end,
+-- })
+-- vim.api.nvim_create_autocmd({ "RecordingLeave" }, {
+--   callback = function()
+--                vim.opt.cmdheight = 0
+--              end,
+-- })
+
 require("core.plugins")
 
 require("core.gui")
@@ -95,5 +105,17 @@ vim.api.nvim_create_autocmd("BufRead", {
     end,
 })
 
+vim.api.nvim_create_autocmd("ColorScheme", {
+    pattern = "*",
+    callback = function()
+        local bg = vim.opt.background:get()
+        if bg == "dark" then
+            vim.cmd("hi Visual guifg=Black guibg=White")
+        elseif bg == "light" then
+            vim.cmd("hi Visual guifg=White guibg=Black")
+        end
+    end,
+})
+
 require("core.keymaps")
 require("core.theme")

lua/core/keymaps.lua

@@ -18,17 +18,18 @@ vim.api.nvim_create_autocmd("FileType", {
     end,
 })
 vim.keymap.set("i", "<C-g>", "<esc>")
-vim.keymap.set("i", "<C-n>", "<up>")
-vim.keymap.set("i", "<C-p>", "<down>")
-vim.keymap.set("i", "<C-f>", "<right>")
-vim.keymap.set("i", "<C-b>", "<left>")
+vim.keymap.set("i", "<M-n>", "<up>")
+vim.keymap.set("i", "<M-p>", "<down>")
+vim.keymap.set("i", "<M-f>", "<right>")
+vim.keymap.set("i", "<M-b>", "<left>")
 vim.keymap.set("n", "<leader>vl", set_bg_light)
 vim.keymap.set("n", "<leader>vd", set_bg_dark)
 vim.keymap.set("n", "<leader>", ":")
 
 local ls = require("luasnip")
 vim.keymap.set({"i"}, "<C-o>", function() ls.expand() end, {silent = true})
-vim.keymap.set({"i", "s"}, "<C-j>", function() ls.jump(1) end, {silent = true})
+vim.keymap.set({"i", "s"}, "<C-l>", function() ls.jump(1) end, {silent = true})
+vim.keymap.set({"i", "s"}, "<C-h>", function() ls.jump(-1) end, {silent = true})
 vim.keymap.set({"i", "s"}, "<C-k>", function()
     if ls.choice_active() then
         ls.change_choice(1)
@@ -41,14 +42,14 @@ vim.keymap.set("n", "<leader>ft", ":Oil<cr>")
 
 -- d: telescope
 local telescope_builtin = require("telescope.builtin")
-vim.keymap.set("n", "<leader>df", function() telescope_builtin.find_files {} end)
-vim.keymap.set("n", "<F9>", function() telescope_builtin.find_files {} end)
-vim.keymap.set("n", "<leader>dg", function() telescope_builtin.git_files {} end)
-vim.keymap.set("n", "<F10>", function() telescope_builtin.git_files {} end)
-vim.keymap.set("n", "<leader>db", function() telescope_builtin.buffers {} end)
-vim.keymap.set("n", "<leader>dc", function() telescope_builtin.colorscheme {} end)
-vim.keymap.set("n", "<leader>dr", function() telescope_builtin.registers {} end)
-vim.keymap.set({ "n", "i" }, "<C-p>", function() telescope_builtin.registers {} end)
+vim.keymap.set("n", "<leader>df", function() telescope_builtin.find_files() end)
+vim.keymap.set("n", "<F9>", function() telescope_builtin.find_files() end)
+vim.keymap.set("n", "<leader>dg", function() telescope_builtin.git_files() end)
+vim.keymap.set("n", "<F10>", function() telescope_builtin.git_files() end)
+vim.keymap.set("n", "<leader>db", function() telescope_builtin.buffers() end)
+vim.keymap.set("n", "<leader>dc", function() telescope_builtin.colorscheme() end)
+vim.keymap.set("n", "<leader>dr", function() telescope_builtin.registers() end)
+vim.keymap.set({ "n", "i" }, "<C-p>", function() telescope_builtin.registers() end)
 -- w: window
 vim.keymap.set("n", "<leader>w1", "<c-w>o")
 vim.keymap.set("n", "<leader>wx", ":x<cr>")
@@ -116,6 +117,6 @@ vim.keymap.set("n", "<leader>hN", ":Gitsigns next_hunk<cr>")
 vim.keymap.set("n", "<leader>hc", ":Gitsigns preview_hunk<cr>")
 vim.keymap.set("n", "<leader>hr", ":Gitsigns reset_hunk<cr>")
 vim.keymap.set("n", "<leader>hR", ":Gitsigns reset_buffer")
-vim.keymap.set("n", "<leader>hb", ":Gitsigns blame_line<cr>")
+vim.keymap.set("n", "<leader>hl", ":Gitsigns blame_line<cr>")
 vim.keymap.set("n", "<leader>hd", ":Gitsigns diffthis<cr>")
 vim.keymap.set("n", "<leader>hs", ":<C-U>Gitsigns select_hunk<CR>")

lua/core/plugins.lua

@@ -8,7 +8,7 @@ require("lazy").setup({
     "rmehri01/onenord.nvim",
     { "catppuccin/nvim", name = "catppuccin" },
     "liuchengxu/space-vim-dark",
-    "ahmedabdulrahman/aylin.vim",
+    {"ahmedabdulrahman/aylin.vim", branch="0.5-nvim"},
     "rebelot/kanagawa.nvim",
     "NLKNguyen/papercolor-theme",
     "liuchengxu/space-vim-dark",
@@ -28,7 +28,7 @@ require("lazy").setup({
     "moll/vim-bbye",
 
     "neovim/nvim-lspconfig",
-    "glepnir/lspsaga.nvim",
+    "nvimdev/lspsaga.nvim",
     "hrsh7th/cmp-nvim-lsp",
     "hrsh7th/cmp-buffer",
     "hrsh7th/cmp-path",

snippets/agda.snippets

@@ -202,51 +202,51 @@ snippet go'
 
 # Greek letter big
 snippet gA
-	α
+	Α
 snippet gB
-	β
+	Β
 snippet gG
-	γ
+	Γ
 snippet gD
-	δ
+	Δ
 snippet gE
-	ε
+	Ε
 snippet gZ
-	ζ
+	Ζ
 snippet gE'
-	η
+	Η
 snippet gTH
-	θ
+	Θ
 snippet gI
-	ι
+	Ι
 snippet gK
-	κ
+	Κ
 snippet gL
-	λ
+	Λ
 snippet gM
-	μ
+	Μ
 snippet gU
-	ν
+	Ν
 snippet gX
-	ξ
+	Ξ
 snippet gO
-	ο
+	Ο
 snippet gP
-	π
+	Π
 snippet gR
-	ρ
+	Ρ
 snippet gS
-	σ
+	Σ
 snippet gT
-	τ
+	Τ
 snippet gY
-	υ
+	Υ
 snippet gF
-	φ
+	Φ
 snippet gC
-	χ
+	Χ
 snippet gPS
-	ψ
+	Ψ
 snippet gO'
-	ω
+	Ω
 

snippets/tex.snippets

@@ -26,3 +26,102 @@ snippet img "\includegraphics ..." bA
 	\end{align*}
 	$0
 
+# Greek letter small
+snippet ga
+	α
+snippet gb
+	β
+snippet gg
+	γ
+snippet gd
+	δ
+snippet ge
+	ε
+snippet gz
+	ζ
+snippet ge'
+	η
+snippet gth
+	θ
+snippet gi
+	ι
+snippet gk
+	κ
+snippet gl
+	λ
+snippet gm
+	μ
+snippet gu
+	ν
+snippet gx
+	ξ
+snippet go
+	ο
+snippet gp
+	π
+snippet gr
+	ρ
+snippet gs
+	σ
+snippet gt
+	τ
+snippet gy
+	υ
+snippet gf
+	φ
+snippet gc
+	χ
+snippet gps
+	ψ
+snippet go'
+	ω
+
+# Greek letter big
+snippet gA
+	Α
+snippet gB
+	Β
+snippet gG
+	Γ
+snippet gD
+	Δ
+snippet gE
+	Ε
+snippet gZ
+	Ζ
+snippet gE'
+	Η
+snippet gTH
+	Θ
+snippet gI
+	Ι
+snippet gK
+	Κ
+snippet gL
+	Λ
+snippet gM
+	Μ
+snippet gU
+	Ν
+snippet gX
+	Ξ
+snippet gO
+	Ο
+snippet gP
+	Π
+snippet gR
+	Ρ
+snippet gS
+	Σ
+snippet gT
+	Τ
+snippet gY
+	Υ
+snippet gF
+	Φ
+snippet gC
+	Χ
+snippet gPS
+	Ψ
+snippet gO'
+	Ω