Pager (GUI)

Not to be confused with Terminal pager.
The pager from Ubuntu Linux's GNOME desktop, showing four virtual desktops. The pager is aligned horizontally here, but it can be changed to a vertical or grid configuration.
FVWM's pager is implemented as a separate floating window.

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]

References

This article is issued from Wikipedia - version of the Tuesday, May 26, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.