Re: Custom bug [was: Re: Is the customization of Options at fault? [was: Poitou blanched]]
Jan Vroonhof <vroonhof(a)math.ethz.ch> writes:
"Stephen J. Turnbull" <turnbull(a)sk.tsukuba.ac.jp>
writes:
> I think that the problem probably is in Jan Vroonhof's translation of
> much of the options menu stuff to custom; he excised a lot of
> "unnecessary" code.
*I* did most of the port of the options menu to Custom. At that time,
this raised several problems (like there's no function to upgrade from the old
format to the new one), and outlined several limitations in Custom. I think
that's what you're experimenting.
--
/ / _ _ Didier Verna http://www.inf.enst.fr/~verna/
- / / - / / /_/ / E.N.S.T. INF C201.1 mailto:vernaļ¼ inf.enst.fr
/_/ / /_/ / /__ / 46 rue Barrault Tel. (33) 01 45 81 73 46
75634 Paris cedex 13 Fax. (33) 01 45 81 31 19