widgetry::runner

Constant UPDATE_FREQUENCY

Source 
const UPDATE_FREQUENCY: Duration;