On 2018-09-21, Daniel wrote: > When I typeset a PDF with the default font settings (under Windows 10), > the output text is rasterized (source and output files attached).
> I haven't used the default font settings for a while, so maybe this is > normal? But it seems strange to me. It is a known problem: https://www.lyx.org/trac/ticket/9741 Günter
