任务列表项的很棒的 wm 设置大小

Awesome wm setting size for the tasklist item

我正在编写一个包含我的任务列表的自定义垂直 wibox,我希望它看起来像这样:

但任务列表项不是固定高度,而是占据所有可用空间 space。结果如下:

到目前为止,这是我的代码:

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

那么我怎样才能得到想要的结果呢? (或至少设置任务列表图标的高度)

更新

查找了一些 docs 并尝试了这个:

local l = wibox.layout.flex.vertical();
l:set_max_widget_size(20)

它什么也没做。

在阅读了一些 awesome 的源代码后,我找到了解决方案。

您脚本中的某处需要这个

local common = require("awful.widget.common")

然后创建一个覆盖任务更新函数的函数:

function list_update(w, buttons, label, data, objects)
    -- call default widget drawing function
    common.list_update(w, buttons, label, data, objects)
    -- set widget size
    w:set_max_widget_size(20)
end

然后把这个函数传给tasklist

    mytasklist[s] = awful.widget.tasklist(s,
    awful.widget.tasklist.filter.currenttags,
    mytasklist.buttons,
    nil,
    list_update,
    wibox.layout.flex.vertical())

就是这样!