On 02/10/2018 17:40, Guenter Milde wrote:
On 2018-10-02, Daniel wrote:
On 02/10/2018 08:58, Guenter Milde wrote:
On 2018-09-21, Daniel wrote:
On 02/10/2018 08:58, Guenter Milde wrote:
On 2018-09-21, Daniel wrote:
When I typeset a PDF with the default font settings (under Windows 10),
the
On 2018-10-02, Daniel wrote:
> On 02/10/2018 08:58, Guenter Milde wrote:
>> On 2018-09-21, Daniel wrote:
> On 02/10/2018 08:58, Guenter Milde wrote:
> > On 2018-09-21, Daniel wrote:
> >
> > > When I typeset a PDF with the default font settings (under Windows 10),
> > > the output text is
Moving over to devel...
On 02/10/2018 08:58, Guenter Milde wrote:
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
On 22/09/2018 19:25, Daniel wrote:
On 21/09/2018 22:54, Daniel wrote:
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?
On 21/09/2018 22:54, Daniel wrote:
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.
Seems