Mirrors/LunarVim
Mirrors/LunarVim
1
0
Fork 0
mirror of https://github.com/LunarVim/LunarVim.git synced 2024-09-20 18:45:08 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

fix(timeoutlen): this has caused way too many issues in the past (#2287)

Browse source
This commit is contained in:
Abouzar Parvan 2022-02-16 13:01:06 +03:30 committed by GitHub
parent 582b169ecf
commit 0536775c8b
WARNING! Although there is a key with this ID in the database it does not verify this commit! This commit is SUSPICIOUS.
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lua/lvim/config/settings.lua
View file

@ -26,7 +26,7 @@ M.load_default_options = function()
splitright = true, -- force all vertical splits to go to the right of current window splitright = true, -- force all vertical splits to go to the right of current window
swapfile = false, -- creates a swapfile swapfile = false, -- creates a swapfile
termguicolors = true, -- set term gui colors (most terminals support this) termguicolors = true, -- set term gui colors (most terminals support this)
timeoutlen = 100, -- time to wait for a mapped sequence to complete (in milliseconds) timeoutlen = 250, -- time to wait for a mapped sequence to complete (in milliseconds)
title = true, -- set the title of window to the value of the titlestring title = true, -- set the title of window to the value of the titlestring
-- opt.titlestring = "%<%F%=%l/%L - nvim" -- what the title of the window will be set to -- opt.titlestring = "%<%F%=%l/%L - nvim" -- what the title of the window will be set to
undodir = join_paths(get_cache_dir(), "undo"), -- set an undo directory undodir = join_paths(get_cache_dir(), "undo"), -- set an undo directory

2
lua/lvim/lsp/config.lua
View file

@ -34,7 +34,7 @@ return {
document_highlight = true, document_highlight = true,
code_lens_refresh = true, code_lens_refresh = true,
float = { float = {
focusable = false, focusable = true,
style = "minimal", style = "minimal",
border = "rounded", border = "rounded",
}, },