Mention `themed-value' in Variable Definitions node

* doc/lispref/customize.texi (Variable Definitions): Mention
`themed-value' (bug#17996).

diff --git a/doc/lispref/customize.texi b/doc/lispref/customize.texi
index 02eefe0f585b2b8d9a41d21728c0522a2320839e..e4a500b069d2ee2ffae88de36cff4bdabae725ec 100644 (file)
--- a/doc/lispref/customize.texi
+++ b/doc/lispref/customize.texi
@@ -486,8 +486,10 @@ Internally, @code{defcustom} uses the symbol property
 @code{saved-value} to record the value saved by the user with the
 customization buffer, and @code{customized-value} to record the value
 set by the user with the customization buffer, but not saved.
-@xref{Symbol Properties}.  These properties are lists, the car of
-which is an expression that evaluates to the value.
+@xref{Symbol Properties}.  In addition, there's @code{themed-value},
+which is used to record the value set by a theme (@pxref{Custom
+Themes}).  These properties are lists, the car of which is an
+expression that evaluates to the value.
 
 @defun custom-reevaluate-setting symbol
 This function re-evaluates the standard value of @var{symbol}, which