I need to substitute a new icon for ProgressBar that is configured as a
Busy ProgressBar. There is a property to set an icon for a ProgressBar
that is indeterminate but no such property for one that is configured as
Busy. So what is the best way to change this? Build a custom woodstock
source with a different icon? Build a special theme?