Re: Bug, probably related to Custom Themes.

[Richard M. Stallman]

                                  I personally believe that the old tag
    ("Reset to Default") was less confusing than "Erase Customization"
    and made the relation with the other reset operations more clear.

"Reset" sounds like a counterpart to "set", and thus
changing only the current values, not the saved values.
I think "Erase Customizations" is clearer, because it says that
the commnd gets rid of your existing customizations.