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

Reply via email to