Я кодирую пользовательский вертикальный wibox, который содержит мой список задач, я хочу, чтобы он выглядел так:
но вместо фиксированной высоты элементы списка задач просто занимают все доступное пространство. Вот результат:
Вот мой код:
function render_task_box(s)
myotherbox[s] = awful.wibox({ position = "left", screen = s, ontop =
true, width = 200 })
mytasklist[s] = awful.widget.tasklist(
s,
awful.widget.tasklist.filter.currenttags,
mytasklist.buttons,
nil,
nil,
wibox.layout.flex.vertical())
local middle_layout = wibox.layout.fixed.vertical()
middle_layout:add(mytasklist[s])
local layout = wibox.layout.align.vertical()
layout:set_middle(middle_layout)
myotherbox[s]:set_widget(layout)
end
Итак, как мне получить желаемый результат? (или хотя бы установить высоту значка списка задач)
Обновить
Просмотрел некоторые документы и попробовал следующее:
local l = wibox.layout.flex.vertical();
l:set_max_widget_size(20)
Это ничего не сделало.