Creates a new CPU monitor. This is a PollingGraph fed by regular calls to getCPUInfo, associated to an IORef used to remember the values yielded by the last call to this function.

Creates a new command runner widget. This is a PollingLabel fed by regular calls to command given by argument. The results of calling this function are displayed as string.

Creates a new disk IO monitor widget. This is a PollingGraph fed by regular calls to getDiskTransfer. The results of calling this function are normalized to the maximum value of the obtained probe (either read or write transfer).

Creates a new filesystem monitor widget. It contains one PollingLabel that displays the data returned by the df command. The usage level of all requested partitions is extracted in one single operation.

A simple structure representing a Freedesktop notification

The default formatter is one of * Summary : Body * Summary * (N) Summary : Body * (N) Summary depending on the presence of a notification body, and where N is the number of queued notifications.

Create a new notification area with the given configuration.

Create a new Layout widget that will use the given Pager as its source of events.

Create the widget. I recommend passing Nothing for the TimeLocale parameter. The format string can include Pango markup (http:/developer.gnome.orgpangostablePangoMarkupFormat.html).

A configurable text-based clock widget. It currently allows for a configurable time zone through the ClockConfig.

See also textClockNew.

A clock configuration that defaults to the current locale

The configuration for the weather widget. You can provide a custom format string through weatherTemplate as described above, or you can provide a custom function to turn a WeatherInfo into a String via the weatherFormatter field.

A wrapper to allow users to specify a custom weather formatter. The default interpolates variables into a string as described above. Custom formatters can do basically anything.

Create a periodically-updating weather widget that polls NOAA.

Create a periodically-updating weather widget using custom weather getter

A sensible default configuration for the weather widget that just renders the temperature.

Create a new Windows widget that will use the given Pager as its source of events.