A variant of the Graph widget that automatically updates itself with a callback at a fixed interval.
- data GraphHandle
- data GraphConfig = GraphConfig {
- graphPadding :: Int
- graphBackgroundColor :: (Double, Double, Double)
- graphBorderColor :: (Double, Double, Double)
- graphDataColors :: [(Double, Double, Double, Double)]
- graphHistorySize :: Int
- graphLabel :: Maybe String
- graphWidth :: Int
- pollingGraphNew :: GraphConfig -> Double -> IO [Double] -> IO Widget
- defaultGraphConfig :: GraphConfig
Types
data GraphHandle Source
data GraphConfig Source
The configuration options for the graph. The padding is the number of pixels reserved as blank space around the widget in each direction.
GraphConfig | |
|
Constructors and accessors
pollingGraphNew :: GraphConfig -> Double -> IO [Double] -> IO WidgetSource