>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> John Levon wrote: >> > - The list of font size options (e.g. AMS allows 9pt) is not > >> updated immediately in the document layout dialog when you change > >> the document class >> >> bug #306 Juergen> It seems to me that the attached patch fixes this bug. But I Juergen> am not shure that I interpret the function of Juergen> params.textclass and params.UseClassDefault right. I think it is right indeed. If you did test it and it did as intended anyway it has to be right. I'll apply it. JMArc
