[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: Uday S Reddy
Subject: bug#6512: 23.2; ediff-diff-options being ignored
Date: Fri, 23 Sep 2011 14:23:32 +0100

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.)


reply via email to

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