This is a simple text widget that updates its contents by calling a callback at a set interval.
Initial value for the label
Update interval (in seconds)
|-> IO String|
Command to run to get the input string
|-> IO Widget|
Create a new widget that updates itself at regular intervals. The function
pollingLabelNew initialString cmd interval
returns a widget with initial text
initialString. The widget
forks a thread to update its contents every
The command should return a string with any HTML entities escaped.
This is not checked by the function, since Pango markup shouldn't
be escaped. Proper input sanitization is up to the caller.
If the IO action throws an exception, it will be swallowed and the label will not update until the update interval expires.