System.Taffybar.WorkspaceHUD

Documentation

data Context

Constructors

Context

Fields

• controllersVar :: MVar (Map WorkspaceIdx WWC)
• workspacesVar :: MVar (Map WorkspaceIdx Workspace)
• loggingVar :: MVar Bool
• hudWidget :: HBox
• hudConfig :: WorkspaceHUDConfig
• hudPager :: Pager

type ControllerConstructor = Workspace -> HUDIO WWC

type HUDIO a = ReaderT Context IO a

data IconInfo

Constructors

IIEWMH EWMHIconData

IIFilePath FilePath

IIColor ColorRGBA

IINone

Instances

Eq IconInfo

Methods

(==) :: IconInfo -> IconInfo -> Bool

(/=) :: IconInfo -> IconInfo -> Bool

Show IconInfo

Methods

showsPrec :: Int -> IconInfo -> ShowS

show :: IconInfo -> String

showList :: [IconInfo] -> ShowS

data WWC

Constructors

WorkspaceWidgetController a => WWC a

Instances

WorkspaceWidgetController WWC

Methods

getWidget :: WWC -> Widget

updateWidget :: WWC -> WidgetUpdate -> HUDIO WWC

updateWidgetX11 :: WWC -> WidgetUpdate -> HUDIO WWC

data WindowData

Constructors

WindowData

Fields

• windowId :: X11Window
• windowTitle :: String
• windowClass :: String
• windowUrgent :: Bool
• windowActive :: Bool
• windowMinimized :: Bool

Instances

Eq WindowData

Methods

(==) :: WindowData -> WindowData -> Bool

(/=) :: WindowData -> WindowData -> Bool

Show WindowData

Methods

showsPrec :: Int -> WindowData -> ShowS

show :: WindowData -> String

showList :: [WindowData] -> ShowS

data Workspace

Constructors

Workspace

Fields

• workspaceIdx :: WorkspaceIdx
• workspaceName :: String
• workspaceState :: WorkspaceState
• windows :: [WindowData]

Instances

Eq Workspace

Methods

(==) :: Workspace -> Workspace -> Bool

(/=) :: Workspace -> Workspace -> Bool

Show Workspace

Methods

showsPrec :: Int -> Workspace -> ShowS

show :: Workspace -> String

showList :: [Workspace] -> ShowS

data WorkspaceButtonController

Constructors

WorkspaceButtonController

Fields

• button :: EventBox
• buttonWorkspace :: Workspace
• contentsController :: WWC

Instances

WorkspaceWidgetController WorkspaceButtonController

Methods

getWidget :: WorkspaceButtonController -> Widget

updateWidget :: WorkspaceButtonController -> WidgetUpdate -> HUDIO WorkspaceButtonController

updateWidgetX11 :: WorkspaceButtonController -> WidgetUpdate -> HUDIO WorkspaceButtonController

data WorkspaceContentsController

Constructors

WorkspaceContentsController

Fields

• containerWidget :: Widget
• contentsControllers :: [WWC]

Instances

WorkspaceWidgetController WorkspaceContentsController

Methods

getWidget :: WorkspaceContentsController -> Widget

updateWidget :: WorkspaceContentsController -> WidgetUpdate -> HUDIO WorkspaceContentsController

updateWidgetX11 :: WorkspaceContentsController -> WidgetUpdate -> HUDIO WorkspaceContentsController

data WorkspaceHUDConfig

Constructors

WorkspaceHUDConfig

Fields

• widgetBuilder :: ControllerConstructor
• widgetGap :: Int
• windowIconSize :: Int
• underlineHeight :: Int
• minWSWidgetSize :: Maybe Int
• underlinePadding :: Int
• maxIcons :: Maybe Int
• minIcons :: Int
• getIconInfo :: WindowData -> HUDIO IconInfo
• labelSetter :: Workspace -> HUDIO String
• showWorkspaceFn :: Workspace -> Bool
• borderWidth :: Int
• updateEvents :: [String]
• updateRateLimitMicroseconds :: Integer
• debugMode :: Bool
• iconSort :: [WindowData] -> HUDIO [WindowData]
• urgentWorkspaceState :: Bool

data WorkspaceState

Constructors

Active

Visible

Hidden

Empty

Urgent

Instances

Eq WorkspaceState

Methods

(==) :: WorkspaceState -> WorkspaceState -> Bool

(/=) :: WorkspaceState -> WorkspaceState -> Bool

Show WorkspaceState

Methods

showsPrec :: Int -> WorkspaceState -> ShowS

show :: WorkspaceState -> String

showList :: [WorkspaceState] -> ShowS

data WorkspaceUnderlineController

Constructors

WorkspaceUnderlineController

Fields

• table :: Table
• underline :: EventBox
• overlineController :: WWC

Instances

WorkspaceWidgetController WorkspaceUnderlineController

Methods

getWidget :: WorkspaceUnderlineController -> Widget

updateWidget :: WorkspaceUnderlineController -> WidgetUpdate -> HUDIO WorkspaceUnderlineController

updateWidgetX11 :: WorkspaceUnderlineController -> WidgetUpdate -> HUDIO WorkspaceUnderlineController

class WorkspaceWidgetController wc where

Minimal complete definition

getWidget, updateWidget

Methods

getWidget :: wc -> Widget

updateWidget :: wc -> WidgetUpdate -> HUDIO wc

updateWidgetX11 :: wc -> WidgetUpdate -> HUDIO wc

Instances

WorkspaceWidgetController WorkspaceUnderlineController

Methods

getWidget :: WorkspaceUnderlineController -> Widget

updateWidget :: WorkspaceUnderlineController -> WidgetUpdate -> HUDIO WorkspaceUnderlineController

updateWidgetX11 :: WorkspaceUnderlineController -> WidgetUpdate -> HUDIO WorkspaceUnderlineController

WorkspaceWidgetController WorkspaceButtonController

Methods

getWidget :: WorkspaceButtonController -> Widget

updateWidget :: WorkspaceButtonController -> WidgetUpdate -> HUDIO WorkspaceButtonController

updateWidgetX11 :: WorkspaceButtonController -> WidgetUpdate -> HUDIO WorkspaceButtonController

WorkspaceWidgetController IconController

Methods

getWidget :: IconController -> Widget

updateWidget :: IconController -> WidgetUpdate -> HUDIO IconController

updateWidgetX11 :: IconController -> WidgetUpdate -> HUDIO IconController

WorkspaceWidgetController WorkspaceContentsController

Methods

getWidget :: WorkspaceContentsController -> Widget

updateWidget :: WorkspaceContentsController -> WidgetUpdate -> HUDIO WorkspaceContentsController

updateWidgetX11 :: WorkspaceContentsController -> WidgetUpdate -> HUDIO WorkspaceContentsController

WorkspaceWidgetController WWC

Methods

getWidget :: WWC -> Widget

updateWidget :: WWC -> WidgetUpdate -> HUDIO WWC

updateWidgetX11 :: WWC -> WidgetUpdate -> HUDIO WWC

data IconController

Constructors

IconController

Fields

• iconsContainer :: HBox
• iconImages :: [IconWidget]
• iconWorkspace :: Workspace

Instances

WorkspaceWidgetController IconController

Methods

getWidget :: IconController -> Widget

updateWidget :: IconController -> WidgetUpdate -> HUDIO IconController

updateWidgetX11 :: IconController -> WidgetUpdate -> HUDIO IconController

buildBorderButtonController :: ControllerConstructor

buildButtonController :: ParentControllerConstructor

buildContentsController :: [ControllerConstructor] -> ControllerConstructor

buildIconController :: ControllerConstructor

buildLabelController :: ControllerConstructor

buildPadBox :: WidgetClass widget => widget -> IO EventBox

buildUnderlineButtonController :: ControllerConstructor

buildUnderlineController :: ParentControllerConstructor

buildWorkspaceHUD :: WorkspaceHUDConfig -> Pager -> IO Widget

buildWorkspaces :: Map WorkspaceIdx Workspace -> HUDIO (Map WorkspaceIdx Workspace)

defaultBuildContentsController :: ControllerConstructor

defaultGetIconInfo :: WindowData -> HUDIO IconInfo

defaultWorkspaceHUDConfig :: WorkspaceHUDConfig

getWorkspaceToWindows :: [X11Window] -> X11Property (MultiMap WorkspaceIdx X11Window)

hideEmpty :: Workspace -> Bool

hudFromPagerConfig :: PagerConfig -> WorkspaceHUDConfig

liftPager :: PagerIO a -> HUDIO a

liftX11Def :: a -> X11Property a -> HUDIO a

setImage :: Int -> Image -> Maybe Pixbuf -> IO ()

widgetSetClass :: WidgetClass widget => widget -> String -> IO ()

windowTitleClassIconGetter :: (Bool -> String -> String -> IconInfo) -> WindowData -> HUDIO IconInfo