Re: [PATCH] bug 2664: Unexpected font change on maximize

[Jean-Marc Lasgouttes]

>>>>> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:

Jean-Marc> http://bugzilla.lyx.org/show_bug.cgi?id=2664

I applied the patch.

JMarc