BOY: spinner widget gain focus when the user finishes editing the value.
BOY: added "FillColor Alarm Sensitive" property to Progress Bar widget.
BOY: added "FillColor Alarm Sensitive" property to Tank widget.
BOY: support dynamic change of "FillColor Alarm Sensitive" property.
BOY: added "FillColor Alarm Sensitive" property to Thermometer widget.
BOY: show PV number in "Input PVs" list.