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.