Re: Custom themes

[Richard M. Stallman]

    Unfortunately, after taking a closer look at it, things are way worse
    than I originally thought.  It does not appear that there is _any_
    support for undoing the requiring of an individual theme in the
    current code.  You can apparently more or less undo all themes
    together (although you have to ask to undo one single theme to get
    that effect), but one can not undo just one particular theme.

That sounds easy to solve.  Suppose you have enabled themes A, B and
C.  To undo theme A, you undo them all, then reapply B and C.

    The docstring contadicts itself.  A variable remains _un_changed if...
    A face remains _un_changed if...  In either case, the variable or face
    _is_ changed to the 'user' theme.  Which of the two?  What happens in
    other cases?  Not only do both statements in the docstring say
    opposite things, they are _both_ wrong.

Can you fix that doc string to be accurate?

Then you could easily implement a command to undo one theme
using the method I suggested above.