[isabelle] jEdit: Theming



Hi,

I tried theming my jEdit. It worked quite well (would probably take some
weeks of minor changes to get it in a sufficient state) but currently I
can't find a switch to change color of the general code inside quotes
(it remains black). Same applies for ML {* *}. Are there any?

(Bonus points if there is an extra category for the quotes, allowing to
remove them visually.)

- René
-- 
René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

Attachment: smime.p7s
Description: S/MIME Kryptografische Unterschrift



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.