REALLY fix dock height changing when no windows are open

This commit is contained in:
elenapan 2020-08-12 15:40:26 +03:00
parent 4c769c1826
commit e26b51c609

View file

@ -152,29 +152,32 @@ local function generate_dock_icon(c, bg, fg, symbol)
icon,
{
{
-- Dummy indicator
-- Used to prevent the dock from moving downwards whenever
-- both indicator_unfocused and indicator_focused are
-- invisible
{
id = "indicator_unfocused",
bgimage = indicator_unfocused,
visible = not is_focused and not c.ghost,
widget = wibox.container.background
},
{
id = "indicator_focused",
bg = fg,
shape = helpers.prrect(dpi(60), true, true, false, false),
visible = is_focused and true or false,
widget = wibox.container.background
},
forced_height = indicator_height,
forced_width = item_size - item_margin * 2,
id = "indicator",
layout = wibox.layout.stack
},
-- Dummy indicator
-- Used to prevent the dock from moving
-- downwards whenever both indicator_unfocused
-- and indicator_focused are invisible
{
forced_height = indicator_height,
widget = wibox.container.background
},
{
id = "indicator_unfocused",
bgimage = indicator_unfocused,
visible = not is_focused and not c.ghost,
widget = wibox.container.background
},
{
id = "indicator_focused",
bg = fg,
shape = helpers.prrect(dpi(60), true, true, false, false),
visible = is_focused and true or false,
widget = wibox.container.background
},
forced_height = indicator_height,
forced_width = item_size - item_margin * 2,
id = "indicator",
layout = wibox.layout.stack
},
spacing = indicator_spacing,