[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#3135: 23.0.92; doc of custom-variable-documentation
From: |
Drew Adams |
Subject: |
bug#3135: 23.0.92; doc of custom-variable-documentation |
Date: |
Mon, 11 Jul 2011 08:51:45 -0700 |
> > Return documentation of VARIABLE for use in Custom buffer.
> > Normally just return the docstring. But if VARIABLE automatically
> > becomes buffer local when set, append a message to that effect.
> >
> > We need to make clear that VARIABLE need not be a user
> > variable. Especially because much of the time the doc for `custom-*'
> > treats a VARIABLE as a user variable.
>
> In my opinion, it's clear enough as it is.
What makes it clear that VARIABLE is not necessarily a user variable
(`user-variable-p')?