xmonad-contrib-0.18.0: Community-maintained extensions for xmonad

Copyright | (c) 2007 Andrea Rossato 2009 Jan Vornberger 2023 Ilya Portnov
License | BSD-style (see xmonad/LICENSE)
Maintainer | portnov84@rambler.ru
Stability | unstable
Portability | unportable
Safe Haskell | None
Language | Haskell2010

XMonad.Layout.DecorationEx.Engine

Contents

- DecorationEngine class
- Auxiliary data types
- Re-exports from X.L.Decoration
- Utility functions

Description

This module defines `DecorationEngine` type class, and default implementation for it.

Synopsis

- class (Read (engine widget a), Show (engine widget a), Eq a, DecorationWidget widget, HasWidgets (Theme engine) widget, ClickHandler (Theme engine) widget, ThemeAttributes (Theme engine widget)) => DecorationEngine (engine :: Type -> Type -> Type) widget a where
  - type Theme (engine :: Type -> Type -> Type) :: Type -> Type
  - type DecorationPaintingContext (engine :: Type -> Type -> Type)
  - type DecorationEngineState (engine :: Type -> Type -> Type)
  - describeEngine :: engine widget a -> String
  - initializeState :: engine widget a -> geom a -> Theme engine widget -> X (DecorationEngineState engine)
  - releaseStateResources :: engine widget a -> DecorationEngineState engine -> X ()
  - calcWidgetPlace :: engine widget a -> DrawData engine widget -> widget -> X WidgetPlace
  - placeWidgets :: Shrinker shrinker => engine widget a -> Theme engine widget -> shrinker -> DecorationEngineState engine -> Rectangle -> Window -> WidgetLayout widget -> X (WidgetLayout WidgetPlace)
  - getShrinkedWindowName :: Shrinker shrinker => engine widget a -> shrinker -> DecorationEngineState engine -> String -> Dimension -> Dimension -> X String
  - decorationXEventMask :: engine widget a -> EventMask
  - propsToRepaintDecoration :: engine widget a -> X [Atom]
  - decorationEventHookEx :: Shrinker shrinker => engine widget a -> Theme engine widget -> DecorationLayoutState engine -> shrinker -> Event -> X ()
  - handleDecorationClick :: engine widget a -> Theme engine widget -> Rectangle -> [Rectangle] -> Window -> Int -> Int -> Int -> X Bool
  - decorationWhileDraggingHook :: engine widget a -> CInt -> CInt -> (Window, Rectangle) -> Position -> Position -> X ()
  - decorationAfterDraggingHook :: engine widget a -> (Window, Rectangle) -> Window -> X ()
  - paintDecoration :: Shrinker shrinker => engine widget a -> a -> Dimension -> Dimension -> shrinker -> DrawData engine widget -> Bool -> X ()
  - paintWidget :: Shrinker shrinker => engine widget a -> DecorationPaintingContext engine -> WidgetPlace -> shrinker -> DrawData engine widget -> widget -> Bool -> X ()
- data DrawData (engine :: Type -> Type -> Type) widget = DrawData {
  - ddEngineState :: !(DecorationEngineState engine)
  - ddStyle :: !(Style (Theme engine widget))
  - ddOrigWindow :: !Window
  - ddWindowTitle :: !String
  - ddDecoRect :: !Rectangle
  - ddWidgets :: !(WidgetLayout widget)
  - ddWidgetPlaces :: !(WidgetLayout WidgetPlace)
  }
- data DecorationLayoutState (engine :: Type -> Type -> Type) = DecorationLayoutState {
  - dsStyleState :: !(DecorationEngineState engine)
  - dsDecorations :: ![WindowDecoration]
  }
- class (Read s, Show s) => Shrinker s where
  - shrinkIt :: s -> String -> [String]
- shrinkText :: DefaultShrinker
- mkDrawData :: (DecorationEngine engine widget a, ThemeAttributes (Theme engine widget), HasWidgets (Theme engine) widget) => engine widget a -> Theme engine widget -> DecorationEngineState engine -> Window -> Rectangle -> X (DrawData engine widget)
- paintDecorationSimple :: forall engine shrinker widget. (DecorationEngine engine widget Window, DecorationPaintingContext engine ~ XPaintingContext, Shrinker shrinker, Style (Theme engine widget) ~ SimpleStyle) => engine widget Window -> Window -> Dimension -> Dimension -> shrinker -> DrawData engine widget -> Bool -> X ()

# DecorationEngine class

class (Read (engine widget a), Show (engine widget a), Eq a, DecorationWidget widget, HasWidgets (Theme engine) widget, ClickHandler (Theme engine) widget, ThemeAttributes (Theme engine widget)) => DecorationEngine (engine :: Type -> Type -> Type) widget a where #

Decoration engines type class. Decoration engine is responsible for drawing something inside decoration rectangle. It is also responsible for handling X11 events (such as clicks) which happen within decoration rectangle. Decoration rectangles are defined by DecorationGeometry implementation.

Minimal complete definition

describeEngine, initializeState, releaseStateResources, calcWidgetPlace, paintDecoration, paintWidget

Associated Types

type Theme (engine :: Type -> Type -> Type) :: Type -> Type #

Type of themes used by decoration engine. This type must be parameterized over a widget type, because a theme will contain a list of widgets.

type DecorationPaintingContext (engine :: Type -> Type -> Type) #

Type of data used by engine as a context during painting; for plain X11-based implementation this is Display, Pixmap and GC.

type DecorationEngineState (engine :: Type -> Type -> Type) #

Type of state used by the decoration engine. This can contain some resources that should be initialized and released at time, such as X11 fonts.

Methods

describeEngine :: engine widget a -> String #

Give a name to decoration engine.

initializeState #

Arguments

:: engine widget a | Decoration engine instance
-> geom a | Decoration geometry instance
-> Theme engine widget | Theme to be used
-> X (DecorationEngineState engine) |

Initialize state of the engine.

releaseStateResources #

Arguments

:: engine widget a | Decoration engine instance
-> DecorationEngineState engine | Engine state
-> X () |

Release resources held in engine state.

calcWidgetPlace #

Arguments

:: engine widget a | Decoration engine instance
-> DrawData engine widget | Information about window and decoration
-> widget | Widget to be placed
-> X WidgetPlace |

Calculate place which will be occupied by one widget. NB: X coordinate of the returned rectangle will be ignored, because the rectangle will be moved to the right or to the left for proper alignment of widgets.

placeWidgets #

Arguments

:: Shrinker shrinker |
=> engine widget a | Decoration engine instance
-> Theme engine widget | Theme to be used
-> shrinker | Strings shrinker
-> DecorationEngineState engine | Current state of the engine
-> Rectangle | Decoration rectangle
-> Window | Original window to be decorated
-> WidgetLayout widget | Widgets layout
-> X (WidgetLayout WidgetPlace) |

Place widgets along the decoration bar.

getShrinkedWindowName #

Arguments

:: Shrinker shrinker |
=> engine widget a | Decoration engine instance
-> shrinker | Strings shrinker
-> DecorationEngineState engine | State of decoration engine
-> String | Original window title
-> Dimension | Width of rectangle in which the title should fit
-> Dimension | Height of rectangle in which the title should fit
-> X String |

Shrink window title so that it would fit in decoration.

default getShrinkedWindowName :: (Shrinker shrinker, DecorationEngineState engine ~ XMonadFont) => engine widget a -> shrinker -> DecorationEngineState engine -> String -> Dimension -> Dimension -> X String #

decorationXEventMask :: engine widget a -> EventMask #

Mask of X11 events on which the decoration engine should do something. `exposureMask` should be included here so that decoration engine could repaint decorations when they are shown on screen. `buttonPressMask` should be included so that decoration engine could response to mouse clicks. Other events can be added to custom implementations of DecorationEngine.

propsToRepaintDecoration :: engine widget a -> X [Atom] #

List of X11 window property atoms of original (client) windows, change of which should trigger repainting of decoration. For example, if `WM_NAME` changes it means that we have to redraw window title.

decorationEventHookEx :: Shrinker shrinker => engine widget a -> Theme engine widget -> DecorationLayoutState engine -> shrinker -> Event -> X () #

Generic event handler, which recieves X11 events on decoration window. Default implementation handles mouse clicks and drags.

handleDecorationClick #

Arguments

:: engine widget a | Decoration engine instance
-> Theme engine widget | Decoration theme
-> Rectangle | Decoration rectangle
-> [Rectangle] | Rectangles where widgets are placed
-> Window | Original (client) window
-> Int | Mouse click X coordinate
-> Int | Mouse click Y coordinate
-> Int | Mouse button number
-> X Bool |

Event handler for clicks on decoration window. This is called from default implementation of "decorationEventHookEx". This should return True, if the click was handled (something happened because of that click). If this returns False, the click can be considered as a beginning of mouse drag.

decorationWhileDraggingHook #

Arguments

:: engine widget a | Decoration engine instance
-> CInt | Event X coordinate
-> CInt | Event Y coordinate
-> (Window, Rectangle) | Original window and it's rectangle
-> Position | X coordinate of new pointer position during dragging
-> Position | Y coordinate of new pointer position during dragging
-> X () |

Event handler which is called during mouse dragging. This is called from default implementation of "decorationEventHookEx".

decorationAfterDraggingHook #

Arguments

:: engine widget a | Decoration engine instance
-> (Window, Rectangle) | Original window and its rectangle
-> Window | Decoration window
-> X () |

This hoook is called after a window has been dragged using the decoration. This is called from default implementation of "decorationEventHookEx".

paintDecoration #

Arguments

:: Shrinker shrinker |
=> engine widget a | Decoration engine instance
-> a | Decoration window
-> Dimension | Decoration window width
-> Dimension | Decoration window height
-> shrinker | Strings shrinker instance
-> DrawData engine widget | Details about what to draw
-> Bool | True when this method is called during Expose event
-> X () |

Draw everything required on the decoration window. This method should draw background (flat or gradient or whatever), borders, and call `paintWidget` method to draw window widgets (buttons and title).

paintWidget #

Arguments

:: Shrinker shrinker |
=> engine widget a | Decoration engine instance
-> DecorationPaintingContext engine | Decoration painting context
-> WidgetPlace | Place (rectangle) where the widget should be drawn
-> shrinker | Strings shrinker instance
-> DrawData engine widget | Details about window decoration
-> widget | Widget to be drawn
-> Bool | True when this method is called during Expose event
-> X () |

Paint one widget on the decoration window.

#### Instances

Instances details

(TextWidget widget, ClickHandler (GenericTheme SimpleStyle) widget) => DecorationEngine TextDecoration widget Window # |
Instance details Defined in XMonad.Layout.DecorationEx.TextEngine Associated Types
type Theme TextDecoration |
Instance details Defined in XMonad.Layout.DecorationEx.TextEngine type Theme TextDecoration = GenericTheme SimpleStyle
type DecorationPaintingContext TextDecoration |
Instance details Defined in XMonad.Layout.DecorationEx.TextEngine type DecorationPaintingContext TextDecoration = XPaintingContext
type DecorationEngineState TextDecoration |
Instance details Defined in XMonad.Layout.DecorationEx.TextEngine type DecorationEngineState TextDecoration = XMonadFont
Methods describeEngine :: TextDecoration widget Window -> String # initializeState :: TextDecoration widget Window -> geom Window -> Theme TextDecoration widget -> X (DecorationEngineState TextDecoration) # releaseStateResources :: TextDecoration widget Window -> DecorationEngineState TextDecoration -> X () # calcWidgetPlace :: TextDecoration widget Window -> DrawData TextDecoration widget -> widget -> X WidgetPlace # placeWidgets :: Shrinker shrinker => TextDecoration widget Window -> Theme TextDecoration widget -> shrinker -> DecorationEngineState TextDecoration -> Rectangle -> Window -> WidgetLayout widget -> X (WidgetLayout WidgetPlace) # getShrinkedWindowName :: Shrinker shrinker => TextDecoration widget Window -> shrinker -> DecorationEngineState TextDecoration -> String -> Dimension -> Dimension -> X String # decorationXEventMask :: TextDecoration widget Window -> EventMask # propsToRepaintDecoration :: TextDecoration widget Window -> X [Atom] # decorationEventHookEx :: Shrinker shrinker => TextDecoration widget Window -> Theme TextDecoration widget -> DecorationLayoutState TextDecoration -> shrinker -> Event -> X () # handleDecorationClick :: TextDecoration widget Window -> Theme TextDecoration widget -> Rectangle -> [Rectangle] -> Window -> Int -> Int -> Int -> X Bool # decorationWhileDraggingHook :: TextDecoration widget Window -> CInt -> CInt -> (Window, Rectangle) -> Position -> Position -> X () # decorationAfterDraggingHook :: TextDecoration widget Window -> (Window, Rectangle) -> Window -> X () # paintDecoration :: Shrinker shrinker => TextDecoration widget Window -> Window -> Dimension -> Dimension -> shrinker -> DrawData TextDecoration widget -> Bool -> X () # paintWidget :: Shrinker shrinker => TextDecoration widget Window -> DecorationPaintingContext TextDecoration -> WidgetPlace -> shrinker -> DrawData TextDecoration widget -> widget -> Bool -> X () #

# Auxiliary data types

data DrawData (engine :: Type -> Type -> Type) widget #

Auxiliary type for data which are passed from decoration layout modifier to decoration engine.

Constructors

DrawData |
Fields ddEngineState :: !(DecorationEngineState engine) Decoration engine state ddStyle :: !(Style (Theme engine widget)) Graphics style of the decoration. This defines colors, fonts etc which are to be used for this particular window in it's current state. ddOrigWindow :: !Window Original window to be decorated ddWindowTitle :: !String Original window title (not shrinked yet) ddDecoRect :: !Rectangle Decoration rectangle ddWidgets :: !(WidgetLayout widget) Widgets to be placed on decoration ddWidgetPlaces :: !(WidgetLayout WidgetPlace) Places where widgets must be shown

data DecorationLayoutState (engine :: Type -> Type -> Type) #

State of decoration engine

Constructors

DecorationLayoutState |
Fields dsStyleState :: !(DecorationEngineState engine) Engine-specific state dsDecorations :: ![WindowDecoration] Mapping between decoration windows and original windows

# Re-exports from X.L.Decoration

class (Read s, Show s) => Shrinker s where #

Methods

shrinkIt :: s -> String -> [String] #

#### Instances

Instances details

Shrinker CustomShrink # |
Instance details Defined in XMonad.Config.Droundy Methods shrinkIt :: CustomShrink -> String -> [String] #
Shrinker DefaultShrinker # |
Instance details Defined in XMonad.Layout.Decoration Methods shrinkIt :: DefaultShrinker -> String -> [String] #

shrinkText :: DefaultShrinker #

# Utility functions

mkDrawData #

Arguments

:: (DecorationEngine engine widget a, ThemeAttributes (Theme engine widget), HasWidgets (Theme engine) widget) |
=> engine widget a |
-> Theme engine widget | Decoration theme
-> DecorationEngineState engine | State of decoration engine
-> Window | Original window (to be decorated)
-> Rectangle | Decoration rectangle
-> X (DrawData engine widget) |

Build an instance of `DrawData` type.

paintDecorationSimple :: forall engine shrinker widget. (DecorationEngine engine widget Window, DecorationPaintingContext engine ~ XPaintingContext, Shrinker shrinker, Style (Theme engine widget) ~ SimpleStyle) => engine widget Window -> Window -> Dimension -> Dimension -> shrinker -> DrawData engine widget -> Bool -> X () #

Simple implementation of `paintDecoration` method. This is used by `TextEngine` and can be re-used by other decoration engines.