From 39e515bab630a5829906e9b24562d2bf13512219 Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.ch>
Date: Tue, 14 Aug 2018 21:23:12 +0200
Subject: [PATCH] widgets: better handling of HiDPI

---
 rc/debug.lua   | 2 +-
 rc/widgets.lua | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/rc/debug.lua b/rc/debug.lua
index 25b4181..23cef2b 100644
--- a/rc/debug.lua
+++ b/rc/debug.lua
@@ -33,7 +33,7 @@ local function client_info(c)
 			       beautiful.fg_widget_value, tostring(c[inf[i]]))
     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 }
 end
 
diff --git a/rc/widgets.lua b/rc/widgets.lua
index fa87cf7..bcc8fbb 100644
--- a/rc/widgets.lua
+++ b/rc/widgets.lua
@@ -62,10 +62,10 @@ local cal = (
 	 calendar = naughty.notify(
 	    {
 	       text = string.format('<span font="%s">%s</span>',
-				    "Terminus 8",
+				    "Terminus " .. 8 * theme.scale,
 				    cal:gsub(" +\n","\n")),
 	       timeout = 0, hover_timeout = 0.5,
-	       width = 160,
+	       width = 160 * theme.scale,
 	       screen = mouse.screen,
 	    })
       end