Juergen Spitzmueller c3c2815092 Implement support for font options
This revives a patch by Uwe and extends it. Additional options to font
packages/fontspec can now be entered in Document Settings.
This is principally also true for TeX fonts, if the new TeXFont tag
MoreOptions is set. For the time being, I have only done this for
MinionPro, as a model and prove of concept.

Note that adding more TeXFonts requires a file format change,
respectively, and changes to tex2lyx (in the same way as I've done for
MinionPro).

This addresses #8226
2019-07-11 20:28:34 +02:00
..
2019-07-11 13:24:56 +02:00
2019-03-31 14:27:56 +02:00
2019-03-31 14:30:55 +02:00
2019-03-31 14:27:56 +02:00
2019-07-11 20:28:34 +02:00
2017-07-03 14:46:27 -04:00
2018-06-24 10:05:15 +02:00
2019-06-30 16:14:24 +02:00