Email Gateway (Aug 22 2022 at 11:13): Email Gateway (Aug 22 2022 at 11:13):From: Rafal Kolanski <xs@xaph.net>
There are currently a bunch of elements whose colors are hardcoded to be
black in the Isabelle plugin source code. There is also a patch in
src/Tools/jEdit/patches that sets the default style (style zero, i.e. no
style) in a similar fashion.
A small number of us use light-on-dark color schemes. I even have a
jEdit macro that will set the majority of such a color scheme for you
(ping me if you'd like a copy). To set sane defaults in jEdit and then
have the Isabelle plugin ignore them is a bit inconvenient. For example,
a HOL implication is Markup.DELIMITER, which is hardcoded to black. If
you have a dark background, black on dark is bad.
You can apply the attached patch to an Isabelle 2015 setup, no
modifications to jEdit required. It will use jEdit's text area default
foreground text color instead of Color.BLACK. It will also override
extended style 0 to be the default text foreground color with user's
default font.
For submission into Isabelle proper, the changes to rendering.scala are
fine, but the style(0) override shouldn't make it in to the official
repo. That should be adjusted in
src/Tools/jEdit/patches/extended_styles instead.
It's a pretty trivial modification, but makes lives of cave-dwellers
much happier.
Sincerely,
Rafal Kolanski
light_on_dark_usability_2015.patch
Last updated: Nov 21 2024 at 12:39 UTC