widgets: better handling of HiDPI

This commit is contained in:
Vincent Bernat 2018-08-14 21:23:12 +02:00
parent 9704e2c1ec
commit 39e515bab6
2 changed files with 3 additions and 3 deletions

View file

@ -33,7 +33,7 @@ local function client_info(c)
beautiful.fg_widget_value, tostring(c[inf[i]])) beautiful.fg_widget_value, tostring(c[inf[i]]))
end end
naughty.notify{ text = string.format('<span font="Terminus 8">%s</span>', v:sub(1,#v-1)), naughty.notify{ text = string.format('<span font="Terminus ' .. 8 * theme.scale .. '">%s</span>', v:sub(1,#v-1)),
timeout = 0, margin = 10, screen = c.screen } timeout = 0, margin = 10, screen = c.screen }
end end

View file

@ -62,10 +62,10 @@ local cal = (
calendar = naughty.notify( calendar = naughty.notify(
{ {
text = string.format('<span font="%s">%s</span>', text = string.format('<span font="%s">%s</span>',
"Terminus 8", "Terminus " .. 8 * theme.scale,
cal:gsub(" +\n","\n")), cal:gsub(" +\n","\n")),
timeout = 0, hover_timeout = 0.5, timeout = 0, hover_timeout = 0.5,
width = 160, width = 160 * theme.scale,
screen = mouse.screen, screen = mouse.screen,
}) })
end end