Re: Fix for bug 2015: font properties propagation in environments

[Jean-Marc Lasgouttes]

>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:

Georg> IMHO this is overkill if used only once, but is useful if you
Georg> need it several times.

Agreed. Sorry for the wrong comment on your original code, Martin.

JMarc