> We have four cases:
> (1) validate finds AMS, user wants it > (2) validate finds AMS, but user does not want it > > (3) validate does not find AMS, but user wants it > (4) validate does not find AMS, user does not want it > > > The idea is that that button controls the use of AMS, and two > > "persons" > > can check it: the user and validate, but only the user can uncheck it. > (4) is not covered by your proposal. Yes, it is since the user can uncheck the button, and also it would be off anyway. But thinking better... My proposal is not good, because validate would keep checking the button every time the user tipes \hbar or so. It seems that for autodetected packages, one realy needs a 3-state widget, something like Use AMS math? ( ) autodetect ( ) never ( ) always using radio buttons, like Martin sugested. It seems that this is the only way to get the four possibilities you listed and also be understandable. The other way, of course, is just get rid of autodetection and use just one button Use AMS math ( ) with the right policy for default state. Regards, Jo�o.
