Am Mittwoch, den 04.05.2016, 02:21 -0400 schrieb Scott Kostyshak: > Attached is a patch. It seems that everyone in this thread is in > favor > of allowing negative values where LaTeX allows negative values. The > patch does this. > > Note however that (if I understand correctly the comments at #10095) > Jürgen disagrees with such changes.
No, I am fine with this change. I just wanted to stress that the validator was added long time (7 years) ago (not by me), and that the disabling of the OK button is actually a feature, not a bug. Jürgen