>> Latest GIT.
>>
>> The check box widgets do not appear in Configure Desktop -> Behavior ->
>> Device Icons
>>
>> Both existing and fresh profiles.
>>
>> Would somebody confirm?
>
> This occurs on systems with HAL and without HAL.
>
> Darrell

I can confirm.  This might be related to the style API change and needs to
be fixed.

Tim