On Monday 04 March 2002 2:23 pm, Martin Vermeer wrote: > BTW the other patch did fix something: having the '^' symbol in a way > that can be saved and loaded and rendered in LaTeX. No, it was not a > crasher. And yes, the rest was UI tinkering. Sorry!
I don't think you need be too apologetic. It could be argued (strongly) that the user interface is now sufficiently robust that changes such as the one you submitted can be applied easily and result in a net benefit. If only the same were true of the core. No wonder Lars gets cranky when he contemplates the mess he's about to dive into ;-) Nonetheless, I promise not to be bad again. Angus
