Re: [BUG][21.4.10] wid-edit type error in customize

Paul> But widget-field-value-create should protect itself by Paul> converting value to a string if it isn't one already. I disagree. The widget functions are quite low-level, and already do too much of that kind of thing, I think. For example, there are two immediately plausible ways to convert a symbol to a string (symbol-value and symbol-name). Hard-coding either one would be horrible. It's possible that something could be done in Custom itself, but I think the above consideration probably precludes that, too. Paul> Alternately, length could be modified to accept a symbol, Paul> but that would be major change, and probably a controversial Paul> one. Not controversial at all. Merely totally unacceptable, for the same reasons. ;-) What's wrong with simply fixing the apparently broken code in JDE? -- Institute of Policy and Planning Sciences http://turnbull.sk.tsukuba.ac.jp University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN Ask not how you can "do" free software business; ask what your business can "do for" free software.