lua/plugins/coq.lua

@@ -0,0 +1,42 @@
+return {
+    {
+        "ms-jpq/coq_nvim",
+        branch =  'coq',
+        build = function(_)
+            vim.cmd("COQdeps")
+        end,
+        config = function(_,_)
+            vim.cmd("COQnow -s")
+        end,
+        init = function(_)
+            vim.g.coq_settings = {
+                display = {
+                    ghost_text = {
+                        enabled = true,
+                        context = { "", "" },
+                        highlight_group = "CursorLineFold"
+                    },
+                    pum = {
+                        fast_close = false,
+                        kind_context = { " ", " " },
+                        source_context = { "", " " },
+                    },
+                    icons = {
+                        spacing = 1,
+                        mode = "short"
+                    },
+                }
+            }
+        end,
+        dependencies = {
+            {
+                'ms-jpq/coq.artifacts',
+                branch = "artifacts"
+            },
+            {
+                "ms-jpq/coq.thirdparty",
+                branch = "3p"
+            }
+        }
+    }
+}

lua/plugins/gitsigns.lua

@@ -15,8 +15,7 @@ return {
                 signcolumn = true,
                 preview_config = {
                     border = 'rounded'
-                },
+                }
-
             }
         end
     }

lua/plugins/neotree.lua

@@ -14,14 +14,12 @@ return {
                 sources = {
                     "filesystem",
                     "buffers",
-                    "git_status",
                     "document_symbols"
                 },
                 source_selector = {
                     winbar = true,
                     statusline = false
                 },
-                close_if_last_window = true,
                 popup_border_style = options.ui.border,
                 default_component_configs = {
                     container = {
@@ -43,9 +41,9 @@ return {
                     git_status = {
                         symbols = {
                             -- Change type
-                            added     = "", -- or "✚", but this is redundant info if you use git_status_colors on the name
+                            added     = "A", -- or "✚", but this is redundant info if you use git_status_colors on the name
-                            modified  = "", -- or "", but this is redundant info if you use git_status_colors on the name
+                            modified  = "M", -- or "", but this is redundant info if you use git_status_colors on the name
-                            deleted   = "-",-- this can only be used in the git_status source
+                            deleted   = "D",-- this can only be used in the git_status source
                             renamed   = "R",-- this can only be used in the git_status source
                             -- Status type
                             untracked = "U",

lua/plugins/statuscol.lua

@@ -15,7 +15,7 @@ return {
                     {
                         sign = {
                             name = { "Diagnostic" },
-                            colwidth = 1,
+                            colwidth = 2,
                             maxwidth = 1,
                             condition = { true }
                         },