Richard Heck wrote:
> Very minor suggestion:
>
> +def convert_fontsettings(document):
> + " Duplicate font settings "
> +
> + i = find_token(document.header, "\\use_non_tex_fonts ", 0)
> + if i == -1:
> + document.warning("Malformed LyX document: No
> \\use_non_tex_fonts!")
> + return
>
> Why not just continue here and pretend that the setting was false? That
> allows us to do something sensible, at least, so that the various
> font-setting properties have the right form. Something similar would be
> true in the reversion.
I did that, since it cannot harm. However, the case that \use_non_tex_fonts
is missing but the other items are there will be extremely rare probably.
Georg
