Re: [isabelle] Isabelle2019-RC0: Fonts look blurry



On 09/04/2019 00:36, Eugene W. Stark wrote:
> FWIW I explored some options settings (Utilities>Global Options>jEdit>Text Area),
> and I found that, at least in the case of my system/display, the default setting
> of "subpixel HRGB" for "Anti Aliased smooth text" produced the worst results of
> all of the settings except for "none".  I have been using the setting "Standard"
> and I think I like it better.

Yes, I think I will return to "Standard" as default: I've seen odd
effects elsewhere due to "subpixel HRGB".


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.