From 1907e379286e87dff14d58692046d92dfed1feb1 Mon Sep 17 00:00:00 2001 From: Vincent Bernat Date: Thu, 16 Aug 2018 18:46:55 +0200 Subject: [PATCH] volume: scale volume text with DPI --- lib/volume.lua | 2 +- rc/widgets.lua | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/volume.lua b/lib/volume.lua index c293fac..15849f0 100644 --- a/lib/volume.lua +++ b/lib/volume.lua @@ -34,7 +34,7 @@ local function change(what) volid = naughty.notify({ text = string.format("%3d %%", vol), icon = icon, - font = "Free Sans Bold 24", + font = "Free Sans Bold " .. 24*theme.scale, replaces_id = volid }).id end diff --git a/rc/widgets.lua b/rc/widgets.lua index bcc8fbb..69a8633 100644 --- a/rc/widgets.lua +++ b/rc/widgets.lua @@ -185,7 +185,7 @@ volicon.image = image(beautiful.icons .. "/widgets/vol.png") local volwidget = widget({ type = "textbox" }) vicious.register(volwidget, vicious.widgets.volume, '$2 $1%', - 17, "Master") + 17, "Master") volume = loadrc("volume", "vbe/volume") volwidget:buttons(awful.util.table.join( awful.button({ }, 1, volume.mixer),