Jakob Schulz (Apr 04 2022 at 13:33): 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.
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.
Lukas Stevens (Apr 05 2022 at 09:24):When you edit the file before opening Isabelle, it works.
Lukas Stevens (Apr 05 2022 at 09:30):Hitting apply after modifying the settings in the UI also permanently saves them.
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 :)
Notification Bot (Apr 05 2022 at 10:15):Jakob Schulz has marked this topic as resolved.
Lukas Stevens (Apr 05 2022 at 10:23):Care to share the theme? I would also like to use a dark theme :smile:
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: Dec 21 2024 at 16:20 UTC