Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Coloring of background of inner syntax


view this post on Zulip Email Gateway (Aug 19 2022 at 15:38):

From: Peter Lammich <lammich@in.tum.de>
Hi all,

referring to Isabelle/jedit in RC4.

is it intentional that inner syntax has a background of color #ffecec,
which, depending on the screen you use, is displayed as white.

I have a screen where it is white, so I did not realize for long
time ... but if it is not displayed as white, it looks really ughly to
me, having the inner syntax in "boxes" of slightly red background.

If this is not intentional: Please change it in the default setup before
release.

Otherwise: Sorry for my bad taste ;) --- but you should think of picking
a color that is displayed properly on all common screens.

view this post on Zulip Email Gateway (Aug 19 2022 at 15:38):

From: Makarius <makarius@sketis.net>
That is virtually impossible: there are many possibilities to vary the
color profile of the screen, both in software and in hardware. Moreover,
the color profile of the user (eyesight) also varies.

I wonder if there is a systematic approach to that problem, although I
don't have the ambition at the moment to adress such extreme corner cases.

Instead the Plugin Options / Isabelle / Rendering allow the user to
re-adjust colors to whatever he sees fit. Note that many color entries
have an alpha channel.

Makarius


Last updated: Mar 29 2024 at 12:28 UTC