Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria (inaki@blueleaf.cc) |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- data ClientType
- data LayoutCorner_
- data LayoutOrientation_
- data MotionDirection
- data PagerDisplayMode
- data TasklistGroupingType
- data WindowGravity
- data WindowType
Enumerations
ClientType
data ClientType Source #
Type describing the role of the libwnck user.
Since: 2.14
ClientTypeApplication | the libwnck user is a normal application. |
ClientTypePager | the libwnck user is an utility application dealing with window management, like pagers and taskbars. |
AnotherClientType Int | Catch-all for unknown values |
Instances
LayoutCorner_
data LayoutCorner_ Source #
No description available in the introspection data.
LayoutCornerTopleft_ | No description available in the introspection data. |
LayoutCornerTopright_ | No description available in the introspection data. |
LayoutCornerBottomright_ | No description available in the introspection data. |
LayoutCornerBottomleft_ | No description available in the introspection data. |
AnotherLayoutCorner_ Int | Catch-all for unknown values |
Instances
LayoutOrientation_
data LayoutOrientation_ Source #
No description available in the introspection data.
LayoutOrientationHorizontal_ | No description available in the introspection data. |
LayoutOrientationVertical_ | No description available in the introspection data. |
AnotherLayoutOrientation_ Int | Catch-all for unknown values |
Instances
MotionDirection
data MotionDirection Source #
Type defining a direction in which to search a neighbor Workspace
.
Since: 2.14
MotionDirectionUp | |
MotionDirectionDown | |
MotionDirectionLeft | search a neighbor |
MotionDirectionRight | search a neighbor |
AnotherMotionDirection Int | Catch-all for unknown values |
Instances
PagerDisplayMode
data PagerDisplayMode Source #
Mode defining what a Pager
will display.
PagerDisplayModeName | the |
PagerDisplayModeContent | the |
AnotherPagerDisplayMode Int | Catch-all for unknown values |
Instances
TasklistGroupingType
data TasklistGroupingType Source #
Type defining the policy of the Tasklist
for grouping multiple
Window
of the same Application
.
TasklistGroupingTypeNeverGroup | never group multiple |
TasklistGroupingTypeAutoGroup | group multiple |
TasklistGroupingTypeAlwaysGroup | always group multiple |
AnotherTasklistGroupingType Int | Catch-all for unknown values |
Instances
WindowGravity
data WindowGravity Source #
Flag used when changing the geometry of a Window
. This is the gravity
point to use as a reference for the new position.
Since: 2.16
WindowGravityCurrent | keep the current gravity point. |
WindowGravityNorthwest | use the left top corner of the frame window as gravity point. |
WindowGravityNorth | use the center of the frame window's top side as gravity point. |
WindowGravityNortheast | use the right top corner of the frame window as gravity point. |
WindowGravityWest | use the center of the frame window's left side as gravity point. |
WindowGravityCenter | use the center of the frame window as gravity point. |
WindowGravityEast | use the center of the frame window's right side as gravity point. |
WindowGravitySouthwest | use the left bottom corner of the frame window as gravity point. |
WindowGravitySouth | use the center of the frame window's bottom side as gravity point. |
WindowGravitySoutheast | use the right bottom corner of the frame window as gravity point. |
WindowGravityStatic | use the left top corner of the client window as gravity point. |
AnotherWindowGravity Int | Catch-all for unknown values |
Instances
WindowType
data WindowType Source #
Type describing the semantic type of a Window
.
WindowTypeNormal | the window is a normal window. |
WindowTypeDesktop | the window is a desktop. |
WindowTypeDock | the window is a dock or a panel. |
WindowTypeDialog | the window is a dialog window. |
WindowTypeToolbar | the window is a tearoff toolbar. |
WindowTypeMenu | the window is a tearoff menu. |
WindowTypeUtility | the window is a small persistent utility window, such as a palette or toolbox. |
WindowTypeSplashscreen | the window is a splash screen displayed as an application is starting up. |
AnotherWindowType Int | Catch-all for unknown values |