On 2020-08-10 17:38, Jürgen Spitzmüller wrote:
Am Montag, den 10.08.2020, 17:06 +0200 schrieb Kornel Benko:
So you are suggesting to do both of those changes, right?
No, only the last.
No need to change these IMHO. These are just internal representations.
They are not just internal. For example, "giant" appears in the
customization manual ("footnotesize" and "scriptsize" don't but neither
do "smaller" and "smallest", I think it's just an unintended ommission).
And "giant" seems to be used for translations, e.g. German as pointed
out above. Furthermore, "giant" is used in layouts, like the poster classes.
On the other points, I strongly agree with Kornel.
Might be that I had a too LaTeXy perspective on things. But for me it
would have been helpful to know what font size corresponds to footnotes.
--
Daniel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
