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?
Last updated: Jul 15 2022 at 23:21 UTC