Stream: Beginner Questions

Topic: Changing text colors in Isabelle/jEdit

view this post on Zulip Yosuke Ito (Dec 18 2025 at 13:12):

Hello,
In Isabelle/jEdit (of the latest version 2025-1), is it possible to change the color of texts in the following area?

text \<open> ... \<close>

view this post on Zulip Mario Xerxes Castelán Castro (Dec 19 2025 at 00:41):

Go to Global options window -> Plugin options tab -> Rendering. There you can change the colors.

view this post on Zulip Yosuke Ito (Dec 19 2025 at 01:35):

Oh, I overlooked Plain Text Color Dark.
Thank you very much for your help.

Last updated: Dec 28 2025 at 12:45 UTC