Stream: Beginner Questions

Topic: ✔ jEdit: Dark Theme


view this post on Zulip Jakob Schulz (Apr 04 2022 at 13:33):

I have installed the EditorScheme (and LookAndFeel) plugin to get a dark theme, and fine-tuned all colors in Plugin Options > Isabelle > Rendering. But when I reboot my computer, the fine-tuned Isabelle-specific colors are reset to their default values again.
It appears that they are also not exported when saving the current colors in an EditorScheme scheme.

TL;DR: Does anybody know in which file the isabelle color settings are stored or how their defaults can be changed?

Edit: I found the file etc/isabelle.css, but modifying this file seems to not have any effect. Also, some keys like "Active Color" and "Active Hover Color" are missing there.

view this post on Zulip Lukas Stevens (Apr 05 2022 at 09:23):

You can save them in .isabelle/Isabelle2021-1/etc/preferences, e.g. comment1_color = "FF8400FF". You can find out the name of a color setting by hovering over it. However, if you modify these settings while Isabelle is running it deletes them.

view this post on Zulip Lukas Stevens (Apr 05 2022 at 09:24):

When you edit the file before opening Isabelle, it works.

view this post on Zulip Lukas Stevens (Apr 05 2022 at 09:30):

Hitting apply after modifying the settings in the UI also permanently saves them.

view this post on Zulip Jakob Schulz (Apr 05 2022 at 10:15):

Hi Lukas!
Thank you very much, the .isabelle/Isabelle2021-1/etc/preferences file was what I was looking for! Now, everything is working :)

view this post on Zulip Notification Bot (Apr 05 2022 at 10:15):

Jakob Schulz has marked this topic as resolved.

view this post on Zulip Lukas Stevens (Apr 05 2022 at 10:23):

Care to share the theme? I would also like to use a dark theme :smile:

view this post on Zulip Jakob Schulz (Apr 05 2022 at 10:53):

Absolutely :) I set up a git repo. As a disclaimer, though, I chose some colors a bit careless, so this may not be the best dark experience :D


Last updated: Mar 29 2024 at 12:28 UTC