On Tue, Jun 04, 2002 at 09:07:19AM +0300, Martin Vermeer wrote: > You have that now... but with validation taking precedence. Do you really > want to reverse that (i.e. the button taking precedence)? Be careful what > you wish for.
[Yes. Because validation happens behind a user's back and can decide to use AMS even if he explicitly disabled it. That's broken. But: ...] > Then you may want to consider radio buttons: > > < > "Use AMS" > < > "Don't use AMS" > <x> "Let LyX decide" ... _that_ might indeed be an option. Would that be difficult to implement? Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)