On 04/27/2011 11:56 AM, Bill Nottingham wrote:
Clyde E. Kunkel (clydekunkel7734(a)cox.net) said:
> Are they supposed to be the same? If not, who rules? I would expect
> tweak advanced settings to have a different icon.
Right; gnome-tweak-tool (being the add-on) would be the most likely
candidate to change icons.