[Top][All Lists]

[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 <address@hidden> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]