Am Dienstag, den 04.02.2020, 19:11 +0100 schrieb Pavel Sanda: > It might be worth to report it, do we have clue whether adding all > other languages is heavy in terms of space (are some dictionaries > needed?)
It's not heavy at all. Thos *.ldf files are rather short text files. Language-specific fonts might be heavier, but those could be easily separated. Jürgen
signature.asc
Description: This is a digitally signed message part
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel