Martin Vermeer wrote: > The following is perhaps lighter, and could be considered an alternative > if there are side effects. (But this may have such as well.)
BTW this is bug 2034: http://bugzilla.lyx.org/show_bug.cgi?id=2034 Georg
Martin Vermeer wrote: > The following is perhaps lighter, and could be considered an alternative > if there are side effects. (But this may have such as well.)
BTW this is bug 2034: http://bugzilla.lyx.org/show_bug.cgi?id=2034 Georg