bug#6512: 23.2; ediff-diff-options being ignored

[Lennart Borgman]

On Fri, Sep 23, 2011 at 15:23, Uday S Reddy <u.s.reddy@cs.bham.ac.uk> wrote:
> Leo Shidai Liu writes:
>
>> My comment was wrong. Sorry. Uday was setting the right variable for his
>> purpose but I don't know if the bug is due to not setting it through
>> customize.
>
> Thanks for that.  I can confirm that setting it through customize has the
> desired effect.
>
> Perhaps the cheapest thing to do would be to modify the 'info' page and the
> doc string saying that these variables should only be set through customize.
> (I don't know what other variables are similarly dependent on customize.)

Please mention this in the doc strings for the variables.