Email Gateway (Aug 22 2022 at 15:12): Email Gateway (Aug 22 2022 at 15:12):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
does anybody have a dark color scheme for Isabelle/jEdit? I have started
to think about providing that in the official distribution, and would
like to draw on existing experience.
This is also relevant for emerging Isabelle/VSCode support: the VSCode
editor uses dark by default, but there are also light themes.
Makarius
Email Gateway (Aug 22 2022 at 15:12):From: Rafal Kolanski <xs@xaph.net>
Hi Makarius,
While you know me more for being annoying trying to push jEdit/Isabelle
rendering improvements (with zero response from jEdit people), I also
run a dark color scheme which some of my team members have taken on
board after a little tuning.
Color schemes are highly subjective, as well as distributed across both
jEdit and Isabelle plugin settings, so I am attaching:
The swing look&feel used is "Metal" (plugin: MetalColor).
There is an addition I noticed in 2016-1 that I don't know how to skin,
and have zero time to investigate at present: the background color used
for displaying linking information between related Isar commands, e.g.
"also" and "finally". Probably not hardcoded, but no clue which setting.
Hopefully this will help get a start on the color scheme you want.
Rafal.
P.S. For color scheme development, I have a very hacky but very useful
macro that tells you why something in the edit pane is the color it is
(sample output attached). It does need a small addition to the Isabelle
plugin (since jEdit macros use an ancient version of Java that does not
click well with Scala HOFs). Let me know if this interests you.
dark_isabelle_jedit_2017-03-08.png
properties.gz
preferences.gz
jedit_chunk_info.png
Email Gateway (Aug 22 2022 at 15:13):From: Makarius <makarius@sketis.net>
On 08/03/17 00:28, Rafal Kolanski wrote:
While you know me more for being annoying trying to push jEdit/Isabelle
rendering improvements (with zero response from jEdit people), I also
run a dark color scheme which some of my team members have taken on
board after a little tuning.
Yes, I know that. I've lost track of the jEdit release process: it was
meant to be shipped in May 2016. When Java 9 comes out, I will take
another look.
jEdit is still a very nice and capable editor, even though the
Java/Swing platform is now getting old and obsolete.
A new and emerging star is VSCode: https://code.visualstudio.com -- it
will take some years to get to the level of sophistication of jEdit.
VSCode is strictly speaking not even a text editor, but a new kind of
application with new ideas.
VSCode is actually the reason to investigate dark styles: it uses that
by default, i.e. on first encounter by users.
so I am attaching:
- a screenshot
- .isabelle/etc/preferences
- .isabelle/jedit/properties (color options are scattered all over this)
Thanks. I will take a look at this.
There is an addition I noticed in 2016-1 that I don't know how to skin,
and have zero time to investigate at present: the background color used
for displaying linking information between related Isar commands, e.g.
"also" and "finally". Probably not hardcoded, but no clue which setting.
Here are all newly introduced color options for Isabelle2016-1:
option entity_color : string = "CCD9FF80"
option entity_ref_color : string = "800080FF"
option class_parameter_color : string = "D2691EFF"
Makarius
Last updated: Nov 21 2024 at 12:39 UTC