Pager (GUI)
Appearance
- Not to be confused with Terminal pager.
A pager is a graphical user interface feature provided by some desktop environments, mostly on the Unix and Linux platforms.[1] It takes the form of an onscreen window or a gadget in the taskbar or panel displaying the user's virtual desktop and providing a way to switch among desktop areas or navigate the workspace.[2] Most pagers depict thumbnail outlines of windows assigned to each desktop and can switch or move windows from mouse gestures or scroll wheel. Some pagers provide a means to move windows or transfer them between desktops by dragging the outline representation in the pager.[3]