[isabelle-dev] Update of Isabelle/jEdit manual: screenshots
makarius at sketis.net
Thu Apr 11 15:30:41 CEST 2019
In Isabelle/2337a6bc5e41, I have updated the screenshots of the
Isabelle/jEdit manual, using a macMini with current Mojave and a regular
UHD display, but only a small portion of the screen; there is one
screenshot with Linux Ubuntu Budgie that uses the full pixel-range of it.
The visual appearance on my 3 test displays is as follows:
* Samsung UHD 28" (2017, 330 EUR): better than before in every respect
* Sony Vaio HD 17" (2013): pretty good, better font shapes than before
* Iiyama HD 21" (2019, 80 EUR): quite bad (also for native macOS
My overall conclusion: OpenJDK 11 is more honest in the rendering, i.e.
a good display gives good results, a bad display gives bad results.
I will work on the text of the manual later: with updated notes about
high-quality vs. low-quality displays; also about font hinting vs.
More information about the isabelle-dev