* custom.el (custom-push-theme): Fix docstring.

This commit is contained in:
Chong Yidong 2005-12-24 15:22:47 +00:00
parent c5d290fb3b
commit 6aab19aa50

View file

@ -637,12 +637,12 @@ set by three different themes. Its `theme-value' property is:
\(jonadab set underline)
\(gnome2 set info-xref)
The theme `subtle-hacker' says to use the same value for the
variable as the theme `gnome2'. Therefore, the theme value of
the variable is `info-xref'. The theme value defined by
`subtle-hacker' is in effect, because that theme currently has
the highest precedence. To change the precedence of the themes,
use `enable-theme'.
The theme value defined by `subtle-hacker' is in effect, because
that theme currently has the highest precedence. The theme
`subtle-hacker' says to use the same value for the variable as
the theme `gnome2'. Therefore, the theme value of the variable
is `info-xref'. To change the precedence of the themes, use
`enable-theme'.
The user has not customized the variable; had he done that, the
list would contain an entry for the `user' theme, too.