volume: scale volume text with DPI

This commit is contained in:
Vincent Bernat 2018-08-16 18:46:55 +02:00
parent 39e515bab6
commit 1907e37928
2 changed files with 2 additions and 2 deletions

View file

@ -34,7 +34,7 @@ local function change(what)
volid = naughty.notify({ text = string.format("%3d %%", vol), volid = naughty.notify({ text = string.format("%3d %%", vol),
icon = icon, icon = icon,
font = "Free Sans Bold 24", font = "Free Sans Bold " .. 24*theme.scale,
replaces_id = volid }).id replaces_id = volid }).id
end end

View file

@ -185,7 +185,7 @@ volicon.image = image(beautiful.icons .. "/widgets/vol.png")
local volwidget = widget({ type = "textbox" }) local volwidget = widget({ type = "textbox" })
vicious.register(volwidget, vicious.widgets.volume, vicious.register(volwidget, vicious.widgets.volume,
'<span color="' .. beautiful.fg_widget_value .. '">$2 $1%</span>', '<span color="' .. beautiful.fg_widget_value .. '">$2 $1%</span>',
17, "Master") 17, "Master")
volume = loadrc("volume", "vbe/volume") volume = loadrc("volume", "vbe/volume")
volwidget:buttons(awful.util.table.join( volwidget:buttons(awful.util.table.join(
awful.button({ }, 1, volume.mixer), awful.button({ }, 1, volume.mixer),