很棒的 wm taglist 大小

Posted 2023-03-12

【中文标题】很棒的 wm taglist 大小

【英文标题】：awesome wm taglist size

【发布时间】：2014-02-16 12:06:43

【问题描述】：

找不到任何关于更改 taglist 元素大小宽度的手册。 Taglist 元素比我设置的图标更宽。看起来真的很糟糕=(

截图：http://s12.postimg.org/fkva7xywd/Screenshot_16_02_2014_16_04_07.png

【参考方案1】：

标签列表元素由图标、文本和它们之间的间隙组成。这个差距定义在 awesome.widget.common.list_update 函数中

m = wibox.layout.margin(tb, 4, 4)

尽管您没有文字，但仍然存在双重空白。要解决此问题，您可以将 list_update 函数复制到您的 rc 文件中，对其进行修复并将其作为第五个（！）参数发送到 awesome.widget.taglist。

【参考方案2】：

只是告诉你的图像框不要调整大小，例如：

wibox.widget.imagebox(beautiful.clock, false)

或者您甚至可以调整 wibox 的大小：

mywibox[s] = awful.wibox( position = "top", screen = s, height = 32 )

你只需要修改高度值

或使用 wibox.layout.constraint 的其他方法：

clock_icon = wibox.widget.imagebox(beautiful.clock, true)
local const = wibox.layout.constraint()                  
const:set_widget(clock_icon)                             
const:set_strategy("exact")                              
const:set_height(16)

然后，不要将图标添加到布局中，只需添加约束即可。

【讨论】：

你没看懂问题，不是小部件，是布局框图标。我需要改变宽度，而不是高度。