From b4b8e489757d149281a49aca62ce5064a4ff3105 Mon Sep 17 00:00:00 2001
From: Chris Cochrun <chris@tfcconnection.org>
Date: Wed, 1 Jul 2020 13:05:33 -0500
Subject: [PATCH] adding dpi to panel margins

---
 awesome/rc.lua | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/awesome/rc.lua b/awesome/rc.lua
index dd1822b..42853d6 100644
--- a/awesome/rc.lua
+++ b/awesome/rc.lua
@@ -361,7 +361,7 @@ awful.screen.connect_for_each_screen(function(s)
                 s.updater,
                 s.network,
                 s.battery,
-                wibox.container.margin (s.mylayoutbox,0,25,0,0),
+                wibox.container.margin (s.mylayoutbox,0,dpi(25),0,0),
             },
             -- bg = "#00FF0066",
             widget = wibox.container.background,
@@ -399,10 +399,10 @@ awful.screen.connect_for_each_screen(function(s)
         expand = "outside",
         { -- Left widgets
             layout = wibox.layout.align.horizontal,
-            wibox.container.margin (s.mytaglist,15,0,-3,0),
-            wibox.container.margin (s.mytasklist,25,25,0,0), -- Middle widget
+            wibox.container.margin (s.mytaglist,dpi(15),0,dpi(-3),0),
+            wibox.container.margin (s.mytasklist,dpi(25),dpi(25),0,0), -- Middle widget
             s.myemptywidget,
-            spacing = 15
+            spacing = dpi(15)
         },
             mytextclock,
         { -- Right widgets