From c846f876b818a668b9c8f1d640b67a895d350587 Mon Sep 17 00:00:00 2001
From: Anton Khirnov <anton@khirnov.net>
Date: Sun, 11 Jun 2023 08:27:59 +0200
Subject: pager: add page borders on all sides, not just top+bottom

---
 pager.lua | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'pager.lua')

diff --git a/pager.lua b/pager.lua
index 955657e..0bb5b67 100644
--- a/pager.lua
+++ b/pager.lua
@@ -110,8 +110,7 @@ function Page:new(tag, screen, index)
 
     local border_width = beautiful.border_width or 1
     local margin       = wibox.container.margin(client_container)
-    margin:set_top(border_width)
-    margin:set_bottom(border_width)
+    margin.margins = border_width
 
     local page_number = wibox.widget.textbox(tostring(index))
     page_number:set_font('mono 32')
-- 
cgit v1.2.3