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 know
Hi,
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.
Daniel
test.lyx
Description: application