From 032dff44d445421210a1b0c01da69e117e42f073 Mon Sep 17 00:00:00 2001 From: Anton Khirnov Date: Mon, 14 Jun 2021 09:19:48 +0200 Subject: pager: show page numbers in the background --- pager.lua | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/pager.lua b/pager.lua index d9e74e6..9beba18 100644 --- a/pager.lua +++ b/pager.lua @@ -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 -- cgit v1.2.3