rm un-needed mappings
This commit is contained in:
parent
cef2899bba
commit
ed68c4b07d
5 changed files with 3 additions and 18 deletions
|
|
@ -14,7 +14,7 @@ local _default_opts = win.default_opts
|
|||
|
||||
win.default_opts = function(options)
|
||||
local opts = _default_opts(options)
|
||||
opts.border = "double"
|
||||
opts.border = "single"
|
||||
return opts
|
||||
end
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue