summaryrefslogtreecommitdiff
path: root/pager.lua
diff options
context:
space:
mode:
authorAnton Khirnov <anton@khirnov.net>2023-06-11 08:27:59 +0200
committerAnton Khirnov <anton@khirnov.net>2023-06-11 08:27:59 +0200
commitc846f876b818a668b9c8f1d640b67a895d350587 (patch)
tree9faaa7467f854febdf58bf34d2262779cb304605 /pager.lua
parent4297b1b03f6bf301e8096bee6a433e5fb3c5c5be (diff)
pager: add page borders on all sides, not just top+bottom
Diffstat (limited to 'pager.lua')
-rw-r--r--pager.lua3
1 files changed, 1 insertions, 2 deletions
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')