On 10/02/2019 19:47, Makarius wrote:
> I have fine-tuned the Isabelle DejaVu fonts in
> Isabelle/4791988fcbc4 to impose the FreeType auto-hinting beforehand to
> the TrueType file: this leads to isabelle_fonts-20190210 in
> Isabelle/7e5a7a11d5d1.
>
> In summary:
>
> * Isabelle font rendering
On 10/02/2019 20:12, Makarius wrote:
> On 10/02/2019 20:08, Peter Lammich wrote:
>> No luck on my machine. The font rendering still looks slightly
>> blurred.
>>
>> However, I'm using an old Linux (Ubuntu 16.04) ... may that be the
>> reason?
>
> I don't think so, but you can make a quick test
On 10/02/2019 20:08, Peter Lammich wrote:
> No luck on my machine. The font rendering still looks slightly
> blurred.
>
> However, I'm using an old Linux (Ubuntu 16.04) ... may that be the
> reason?
I don't think so, but you can make a quick test by booting current
Ubuntu 18.04 from an USB
No luck on my machine. The font rendering still looks slightly
blurred.
However, I'm using an old Linux (Ubuntu 16.04) ... may that be the
reason?
--
Peter
On So, 2019-02-10 at 20:01 +0100, Christian Sternagel wrote:
> This is just to confirm that the result looks really great on my
> linux
This is just to confirm that the result looks really great on my linux
(Fedora 29 with i3) setup. Thanks!
chris
On 2/10/19 7:47 PM, Makarius wrote:
> On 08/02/2019 10:03, Christian Sternagel wrote:
>>
>> I am glad to hear that others have the same experience, I thought my
>> eyes were going bad
On 05/02/2019 20:19, Makarius wrote:
> On 05.02.19 11:43, Peter Lammich wrote:
>>
>> Is this worsening due to another Java version, due to the new Isabelle
>> font, or has it some other reasons? How to find out?
>
> From a distance, I would say that this is a matter of the Java 11
>
On 08/02/2019 10:03, Christian Sternagel wrote:
>
> I am glad to hear that others have the same experience, I thought my
> eyes were going bad ;)
>
> But seriously, "buy a new screen" is not always possible. For example,
> in the upcoming summer term I am teaching an Isabelle class at the
>
Dear all,
I am glad to hear that others have the same experience, I thought my
eyes were going bad ;)
But seriously, "buy a new screen" is not always possible. For example,
in the upcoming summer term I am teaching an Isabelle class at the
University of Innsbruck. In my experience (and I just
On 05.02.19 20:19, Makarius wrote:
From a distance, I would say that this is a matter of the Java 11
font-renderer, which is provided by https://adoptopenjdk.net. The one by
Oracle is much worse -- OpenJdk not the non-free Java. (Note that the
license change of non-free Oracle Java no longer
On 05.02.19 11:43, Peter Lammich wrote:
I just updated my Isabelle devel version (now on d21789843f01), and
immediately noticed that the displayed fonts are significantly blurry.
Find attached a side-by-side comparison of Isabelle-d21789843f01 (left)
and Isabelle-2018 (right). At least on my
10 matches
Mail list logo
