awesomewm - 任务列表图标的大小

如何改变任务列表的图标大小？ 我正在使用非修改过的、刚安装的 awesome wm 构建版本，但好像无法解决这个问题。

我尝试了

s.mytasklist = awful.widget.tasklist {
        screen  = s,
        filter  = awful.widget.tasklist.filter.currenttags,
        buttons = tasklist_buttons,
        style = {
                icon_size = 10,

来自 https://awesomewm.org/apidoc/widgets/awful.widget.tasklist.html

以及 Awesome wm setting size for the tasklist item

这两个解决方案都不起作用。

谢谢