Re: [isabelle] jEdit: Theming

Am 12.11.2013 18:31, schrieb Makarius:
> On Tue, 12 Nov 2013, René Neumann wrote:
>> 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?
> There are many layers of formal markup, and many potential layers of
> markup are suppressed for simplicity.
> Above you can probably get along with quoted_color in "Plugin Options /
> Isabelle / Rendering".  It requires an alpha channel (transparency) to
> work properly.

Nope, this does not work. quoted_color is only used for the
_background_, not the foreground.

From looking at rendering.scala


Markup.STRING -> Color.BLACK,
Markup.ALTSTRING -> Color.BLACK,
Markup.VERBATIM -> Color.BLACK,

Markup.DELIMITER -> Color.BLACK,


they seem to be fixed to black :(

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.