Header has too much padding.
This commit is contained in:
parent
75dbf5027d
commit
6385166a58
|
@ -80,7 +80,7 @@ M.setup = function(override_flag)
|
||||||
end
|
end
|
||||||
alpha.setup {
|
alpha.setup {
|
||||||
layout = {
|
layout = {
|
||||||
{ type = "padding", val = 9 },
|
{ type = "padding", val = 4 },
|
||||||
default.header,
|
default.header,
|
||||||
{ type = "padding", val = 2 },
|
{ type = "padding", val = 2 },
|
||||||
default.buttons,
|
default.buttons,
|
||||||
|
|
Loading…
Reference in New Issue