diff options
author | Anton Khirnov <anton@khirnov.net> | 2023-06-11 08:27:59 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2023-06-11 08:27:59 +0200 |
commit | c846f876b818a668b9c8f1d640b67a895d350587 (patch) | |
tree | 9faaa7467f854febdf58bf34d2262779cb304605 | |
parent | 4297b1b03f6bf301e8096bee6a433e5fb3c5c5be (diff) |
pager: add page borders on all sides, not just top+bottom
-rw-r--r-- | pager.lua | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -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') |