Compare commits

...

2 Commits

Author SHA1 Message Date
Sven Vogel 3c79424940 git improvements 2024-03-03 21:02:51 +01:00
Sven Vogel 692cbbd6ba removed coq 2024-03-02 09:58:41 +01:00
5 changed files with 9 additions and 48 deletions

View File

@ -1,42 +0,0 @@
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"
}
}
}
}

View File

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

View File

@ -44,7 +44,7 @@ return {
lualine_c = { lualine_c = {
{ {
'branch', 'branch',
icon = '󰊤 ' icon = '󰊤'
}, },
{ {
'diff', 'diff',

View File

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

View File

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