Re: Bug, probably related to Custom Themes.

[Richard M. Stallman]

    If we eliminate "Set for Current Session" and "Reset to Current", the
    interface would be much cleaner:

     [Cancel Changes] [Save Changes]
     [Reset to Defaults]    [Finish]

I recall there was a discussion of a similar proposal,
a year or two ago.  There were people for it and against it.
I don't remember the details, but it didn't convince me.