From 47580e28d33d425658502c06f06313b6057d1491 Mon Sep 17 00:00:00 2001 From: Vincent Bernat Date: Wed, 5 Aug 2020 21:12:29 +0200 Subject: [PATCH] theme: add more border and margin to notifications --- rc/theme.lua | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/rc/theme.lua b/rc/theme.lua index 3ae1ab6..764e94c 100644 --- a/rc/theme.lua +++ b/rc/theme.lua @@ -59,8 +59,10 @@ end -- Naughty naughty.config.presets.normal.bg = "#111111" -for _,preset in pairs({"normal", "low", "critical"}) do +for _, preset in pairs({"normal", "low", "critical"}) do naughty.config.presets[preset].font = "DejaVu Sans " .. 10 * theme.scale + naughty.config.presets[preset].margin = 12 * theme.scale + naughty.config.presets[preset].border_width = 3 * theme.scale end return theme