Pager (GUI)
- 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]
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.