[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6512: 23.2; ediff-diff-options being ignored
From: |
Lennart Borgman |
Subject: |
bug#6512: 23.2; ediff-diff-options being ignored |
Date: |
Fri, 23 Sep 2011 23:01:28 +0200 |
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.