Mario Xerxes Castelán Castro (Dec 15 2025 at 23:50): Mario Xerxes Castelán Castro (Dec 15 2025 at 23:50):screenshot.png
I changed the theme in jEdit global options to "FlatLaf Dark". It only resulted in part of the theme becoming dark. How do I fix this?
Mario Xerxes Castelán Castro (Dec 16 2025 at 00:36):I found I have to change the colors under "Text Area" but the result is still bad. The colors used for syntax highlighting are not clearly distinguished in a dark background.
Is there some officially-supported dark theme?
Mathias Fleury (Dec 16 2025 at 05:39):You can change the colors from syntax highlighting
Mathias Fleury (Dec 16 2025 at 05:39):Plugin options > isabelle > rendering
Mathias Fleury (Dec 16 2025 at 05:40):As far I know, there is no plugin that would set all of them at once
Yosuke Ito (Dec 16 2025 at 09:31):Maybe this website is helpful.
https://github.com/bruderjakob17/isabelle_dark_theme
Yutaka Nagashima (Dec 16 2025 at 14:29):I invert the whole display.
Balazs Toth (Dec 16 2025 at 15:54):Mario Xerxes Castelán Castro said:
I found I have to change the colors under "Text Area" but the result is still bad. The colors used for syntax highlighting are not clearly distinguished in a dark background.
Is there some officially-supported dark theme?
If you use the latest release (Isabelle 2025-1-RC) then you just need to change it in JEdit -> Appearance -> Swing Look & Feel and restart Isabelle once. In the new release we have a official dark mode
Mario Xerxes Castelán Castro (Dec 16 2025 at 23:09):Balazs Toth ha dicho:
If you use the latest release (Isabelle 2025-1-RC) then you just need to change it in JEdit -> Appearance -> Swing Look & Feel and restart Isabelle once. In the new release we have a official dark mode
Where do I get Isabelle-2025-1-RC? In the Isabelle page there is only Isabelle 2025.
Mathias Fleury (Dec 17 2025 at 05:50):https://isabelle.in.tum.de/website-Isabelle2025-1-RC4/
Mathias Fleury (Dec 17 2025 at 05:50):Makarius should publish the final version tomorrow or so
Last updated: Dec 28 2025 at 12:45 UTC