
Sept. 23, 2008
11:21 p.m.
Jorge encouraged me to add that preference in case anyone wanted it back when the, ahh, 'nonstandard' widget colors came along some months ago, but I have no idea whether anyone uses it.