Re:dwm
by HellsMaddy on Friday January 14, 2022 @05:12PM
(#29941188)
What’s a pager in the context of a window manager? I’m aware of CLI pagers like less but I’ve never heard the term used with WMs.
[ Parent
| on HN ]
Re:dwm
by racingmars on Friday January 14, 2022 @05:18PM
(#29941276)
It's the little desktop "preview boxes," I guess you'd call them, that you can click on to switch between virtual desktops. Usually running in the taskbar in most desktop environments.