diff options
author | Anton Khirnov <anton@khirnov.net> | 2021-06-14 09:19:48 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2021-06-14 09:19:48 +0200 |
commit | 032dff44d445421210a1b0c01da69e117e42f073 (patch) | |
tree | 11fa47f6a53a02cf00fcf8deaa388944785a3c28 | |
parent | 7d64cce93bee8af0ef017ae5b56d9e5b5499d4f7 (diff) |
pager: show page numbers in the background
-rw-r--r-- | pager.lua | 15 |
1 files changed, 12 insertions, 3 deletions
@@ -102,7 +102,7 @@ function Page:client_add(c) self._widgets[c] = bg end -function Page:new(tag, screen) +function Page:new(tag, screen, index) local ret = setmetatable({}, self) self.__index = self @@ -113,6 +113,15 @@ function Page:new(tag, screen) margin:set_top(border_width) margin:set_bottom(border_width) + local page_number = wibox.widget.textbox(tostring(index)) + page_number:set_font('mono 32') + page_number:set_align ('center') + page_number:set_valign('center') + page_number:set_opacity(0.2) + + local stack = wibox.layout.stack() + stack:add(page_number, margin) + ret.client_container = client_container ret.border = margin ret.tag = tag @@ -121,7 +130,7 @@ function Page:new(tag, screen) ret._widgets = {} -- top-level widget containing the page - ret.widget = margin + ret.widget = stack ret:set_visible(tag.selected, tag.screen == screen) @@ -170,7 +179,7 @@ function PagerDesk:new(desktop, screen) ret.pages = {} for i = 1, #desktop.pages do - ret.pages[i] = Page:new(desktop.pages[i], screen) + ret.pages[i] = Page:new(desktop.pages[i], screen, i) pages_container:add(ret.pages[i].widget) end |