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.
You can save them in
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.
When you edit the file before opening Isabelle, it works.
Hitting apply after modifying the settings in the UI also permanently saves them.
Thank you very much, the
.isabelle/Isabelle2021-1/etc/preferences file was what I was looking for! Now, everything is working :)
Jakob Schulz has marked this topic as resolved.
Care to share the theme? I would also like to use a dark theme :smile:
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: Sep 25 2022 at 23:25 UTC