Manatee.Plugin.Anything.TitleWidget
- data TitleWidget = TitleWidget {}
- titleColor :: Color
- numberColor :: Color
- spinnerSpace :: Int
- titleWidgetNew :: Maybe String -> IO TitleWidget
- titleWidgetSetTitle :: TitleWidget -> String -> Int -> IO ()
- titleWidgetStart :: TitleWidget -> IO ()
- titleWidgetStop :: TitleWidget -> IO ()
Documentation
data TitleWidget Source
Constructors
| TitleWidget | |
Fields | |
Title color.
Number color.
Spinner space.
titleWidgetNew :: Maybe String -> IO TitleWidgetSource
Create candidate title.
titleWidgetSetTitle :: TitleWidget -> String -> Int -> IO ()Source
Set title.
titleWidgetStart :: TitleWidget -> IO ()Source
Start spinner animation.
titleWidgetStop :: TitleWidget -> IO ()Source
Stop spinner animation.