[isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts
makarius at sketis.net
Mon Sep 14 21:57:25 CEST 2015
On Tue, 25 Aug 2015, Rafal Kolanski wrote:
> - Removes hardcoded colors in favor of looking up relevant JEdit
> properties. This is critical if you want a light-on-dark setup.
> Also in patches/extended_styles style is hardcoded to black
> in org/gjt/sp/util/SyntaxUtilities.java. This should really look
> up the view.fgColor property in JEdit!
> Generally, defaulting to BLACK for foreground is inflexible, use:
> same for 255,255,255 for a background, try use:
I wonder where this strange light-on-dark trend is coming from, maybe from
mobile devices? Many decades ago, monitor display quality was too poor
for proper black-on-white text, which is why I consider this as luxory.
Anyway, hardwired values are bad. I've changed most of them in
1d9c121cbe4d and 9791f631c20d.
The patched jedit code base will be updated again for the coming release
of 5.3.0, which should appear *really*soon*now*. It will be the first
jEdit release with proper 4K display support!
More information about the isabelle-dev